Improving Mizar texts with properties and requirements
In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004)Lecture notes in computer science :290-301
Konferenz
- print, 21 ref
Zugriff:
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.
Titel: |
Improving Mizar texts with properties and requirements
|
---|---|
Autor/in / Beteiligte Person: | NAUMOWICZ, Adam ; BYLINSKI, Czesław |
Link: | |
Quelle: | MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004)Lecture notes in computer science :290-301 |
Veröffentlichung: | Berlin: Springer, 2004 |
Medientyp: | Konferenz |
Umfang: | print, 21 ref |
ISSN: | 0302-9743 (print) |
Schlagwort: |
|
Sonstiges: |
|