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

Active Bibliography

Under supervision of: – Paul Van Tilburg - 2006
1 Abstract Computerizing Mathematical Text with – Fairouz Kamareddine, J. B. Wells
9 Gradual computerisation/formalisation of mathematical texts into Mizar – Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
22 Flexible encoding of mathematics on the computer – Fairouz Kamareddine, Manuel Maarek, J. B. Wells - 2004
(ULTRA group, Heriot-Watt University) – F. Kamareddine, M. Maarek, K. Retel, J. B. Wells, Computerisation Vs. Formalisation
Computerising Mathematical Text with MathLang – Fairouz Kamareddine, Joe B. Wells, CHRISTOPH ZENGLER
The impact of computers on the formalisation and study of language – Fairouz Kamareddine - 2005
MathLang, a framework for computerising – Fairouz Kamareddine - 2006
The evolution of types and logic in the 20th century – Fairouz Kamareddine - 2005
MathLang, a framework for computerising mathematics – Fairouz Kamareddine - 2006
3 On Correctness of Mathematical Texts from a Logical and Practical Point of View – Konstantin Verchinine, Er Lyaletski, Andrei Paskevich, Anatoly Anisimov - 2008
10 Assisted proof document authoring – David Aspinall, Christoph Lüth, Burkhart Wolff - 2006
Towards semi-automatic . . . – Krzysztof Retel
A Gradual Computerisation Path in the MathLang Framework: A First Year Report – Robert Lamar - 2007
4 Narrative structure of mathematical texts – Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells - 2007
Logic and Computerisation in mathematics? – Fairouz Kamareddine - 2009
Um Ceclo de Computeraçao – Fairouz Kamareddine
MathLang: A language for Mathematics – Fairouz Kamareddine - 2004
2 Comparing two user-friendly formal languages for mathematics: Weak Type Theory and Mizar – G. Geleijnse - 2004