In this paper we report on the current state of implementation of two features of the MIZAR system - properties and requirements. These two mechanisms provide elements of basic computer algebra to strengthen the capabilities of the MIZAR checker by automation of some frequently used reasoning steps. This, in turn, allows for a notable reduction of the size of users' input in some reasonings. As a result, the size of the MIZAR library can be reduced, and, at the same time, MIZAR articles can become more like informal mathematical papers. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Naumowicz, A., & Byliński, C. (2004). Improving MIZAR texts with properties and requirements. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3119, 290–301. https://doi.org/10.1007/978-3-540-27818-4_21
Mendeley helps you to discover research relevant for your work.