BibTeX
@MISC{Retel_towardssemi-automatic,
author = {Krzysztof Retel},
title = {Towards semi-automatic . . . },
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 93 | OMDoc: An Open Markup Format for Mathematical Documents (Version 1.2). Number 4180 - Kohlhase |
| 75 | An overview of the MIZAR project - Rudnicki - 1992 |
| 54 | The mathematical vernacular, a language for mathematics with typed sets - Bruijn - 1987 |
| 20 | Comparing mathematical provers - Wiedijk - 2003 |
| 19 | Formal proof sketches - Wiedijk - 2004 |
| 17 | Toward an objectoriented structure for mathematical text - Kamareddine, Maarek, et al. - 2006 |
| 15 | Mathlang: Experience-driven development of a new mathematical language - Kamareddine, Maarek, et al. |
| 11 | On equivalents of well-foundedness. an experiment in mizar - Rudnicki, Trybulec - 1999 |
| 9 | On the rules of supposition in formal logic - Jaskowski |
| 2 | Foundations of Analysis. Chelsea - Landau - 1951 |
| 1 | On the structure of mizar types. ENTCS, 85(7):1–17, 2003. [BC04] [dB87] [Jas34] [Kam02] [KMW - Bancerek - 2004 |
