Toward an object-oriented structure for mathematical text (2006)

by Fairouz Kamareddine , Manuel Maarek , J. B. Wells
Venue:MATHEMATICAL KNOWLEDGE MANAGEMENT, 4TH INT’L CONF., PROCEEDINGS. VOLUME 3863 OF LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Citations:17 - 11 self

Documents Related by Co-Citation

56 The Mathematical Vernacular, a language for mathematics with typed sets – N G de Bruijn - 1987
15 MathLang: experience-driven development of a . . . – Fairouz Kamareddine, Manuel Maarek, Joe Wells - 2003
22 Flexible encoding of mathematics on the computer – Fairouz Kamareddine, Manuel Maarek, J. B. Wells - 2004
114 OMDoc an open markup format for mathematical documents (version 1.2 – Michael Kohlhase - 2006
22 Formal Proof Sketches – Freek Wiedijk - 2002
82 An Overview of the MIZAR Project – Piotr Rudnicki - 1992
8 J.B.: Restoring Natural Language as a Computerised Mathematics Input Method – Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells - 2007
81 Isar -- a Generic Interpretative Approach to Readable Formal Proof Documents – Markus Wenzel - 1999
29 A Refinement of de Bruijn’s Formal Language of Mathematics – Fairouz Kamareddine - 2004
5 MathLang: A new language for mathematics, logic, and proof checking. A research proposal to UK funding body – Fairouz Kamareddine, J B Wells - 2001
8 Capturing Abstract Matrices from Paper – Toshihiro Kanahori, Alan Sexton, Volker Sorge, Masakazu Suzuki - 2006
23 Comparing mathematical provers – Freek Wiedijk - 2003
13 On Equivalents of Well-foundedness -- An experiment in Mizar – Piotr Rudnicki, Andrzej Trybulec - 1998
11 and the semantic math-web – HELM - 2001
18 The Coq Proof Assistant Reference Manual — Version 8.3. Available at http://coq.inria. fr/refman – INRIA - 2010
10 Assisted proof document authoring – David Aspinall, Christoph Lüth, Burkhart Wolff - 2006
6 Mathematical documents faithfully computerised: the grammatical and text and symbol aspects of the MathLang framework – M Maarek - 2007
9 Gradual computerisation/formalisation of mathematical texts into Mizar – Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
50 The Thirteen Books of Euclid’s Elements – T L Heath - 1956