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:24 - 12 self

Documents Related by Co-Citation

31 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
50 The Thirteen Books of Euclid’s Elements – T L Heath
114 OMDoc an open markup format for mathematical documents (version 1.2 – Michael Kohlhase - 2006
22 Formal Proof Sketches – Freek Wiedijk - 2002
8 Capturing Abstract Matrices from Paper – Toshihiro Kanahori, Alan Sexton, Volker Sorge, Masakazu Suzuki - 2006
82 An Overview of the MIZAR Project – Piotr Rudnicki - 1992
9 Gradual computerisation/formalisation of mathematical texts into Mizar – Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
37 Foundations of Analysis – E Landau - 2001
75 1895): “Beiträge zur Begründung der transifiniten Mengelehre – G Cantor
21 Stetigkeit und irrationale Zahlen. Vieweg, 1872. Reprinted in (Dedekind, 1968), Volume 3, Chapter L, pages 315–334. Translated by Wooster Beman as “Continuity and irrational numbers – Richard Dedekind - 1901
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
5 MathLang: A new language for mathematics, logic, and proof checking. A research proposal to UK funding body – Fairouz Kamareddine, J B Wells - 2001
62 A computer-checked proof of the Four Colour Theorem. http://research. microsoft.com/ ∼ gonthier/4colproof.pdf – Georges Gonthier - 2006
33 Grundlagen der Analysis – Edmund Landau - 1930
42 Untersuchungen über die Grundlagen der Mengenlehre – Ernst Zermelo - 1907