Mathematical Knowledge Management in MIZAR (2001)
by
Piotr Rudnicki
,
Andrzej Trybulec
| Venue: | Proc. of MKM 2001 |
| Citations: | 6 - 0 self |
BibTeX
@INPROCEEDINGS{Rudnicki01mathematicalknowledge,
author = {Piotr Rudnicki and Andrzej Trybulec},
title = {Mathematical Knowledge Management in MIZAR},
booktitle = {Proc. of MKM 2001},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We report on how mathematics is done in the Mizar system. Mizar oers a language for writing mathematics and provides software for proof-checking. Mizar is used to build Mizar Mathematical Library (MML). This is a long term project aiming at building a comprehensive library of mathematical knowledge. The language and the checking software evolve and the evolution is driven by the growing MML.
