Flexible encoding of mathematics on the computer (2004)

by Fairouz Kamareddine , Manuel Maarek , J. B. Wells
Venue:In MKM 2004, volume 3119 of LNCS
Citations:22 - 12 self

Documents Related by Co-Citation

29 A Refinement of de Bruijn’s Formal Language of Mathematics – Fairouz Kamareddine - 2004
56 The Mathematical Vernacular, a language for mathematics with typed sets – N G de Bruijn - 1987
17 Toward an object-oriented structure for mathematical text – Fairouz Kamareddine, Manuel Maarek, J. B. Wells - 2006
15 MathLang: experience-driven development of a . . . – Fairouz Kamareddine, Manuel Maarek, Joe Wells - 2003
53 The Thirteen Books of Euclid's Elements – T L Heath - 1908
9 Gradual computerisation/formalisation of mathematical texts into Mizar – Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
34 Foundations of Analysis – E G H Landau - 1951
72 Beiträge zur Begründung der transfiniten Mengenlehre II – G Cantor
19 Stetigkeit und irrationale Zahlen. Vieweg – R Dedekind - 1872
22 Formal Proof Sketches – Freek Wiedijk - 2002
82 An Overview of the MIZAR Project – Piotr Rudnicki - 1992
114 OMDoc an open markup format for mathematical documents (version 1.2 – Michael Kohlhase - 2006
40 Untersuchungen über die Grundlagen der Mengenlehre – E Zermelo - 1908
30 Grundlagen der Analysis – Edmund Landau - 1930
41 Arithmetices principia, nova methodo exposita. Fratres Bocca – G Peano
4 A path to faithful formalizations of mathematics – G Jojgov, R Nederpelt - 2004
81 Isar -- a Generic Interpretative Approach to Readable Formal Proof Documents – Markus Wenzel - 1999
8 Capturing Abstract Matrices from Paper – Toshihiro Kanahori, Alan Sexton, Volker Sorge, Masakazu Suzuki - 2006
10 MathLang: An experience driven language of mathematics – F Kamareddine, M Maarek, J B Wells - 2004