An Experiment on Mizar Adjectives with Extra Visible Arguments
| Autor: | Adam Naumowicz |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Mathematical library
Code refactoring Computer science Programming language 0202 electrical engineering electronic engineering information engineering 020207 software engineering 020201 artificial intelligence & image processing 02 engineering and technology Mizar system computer.software_genre computer |
| Zdroj: | SYNASC |
| DOI: | 10.1109/synasc51798.2020.00026 |
| Popis: | This paper presents the extended processing of adjectives with visible arguments in the Mizar system. The proposed enhancement is compared with the current implementation by presenting the results of a case study based on refactoring selected Mizar Mathematical Library (MML) theories. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|