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

Active Bibliography

1 Abstract Computerizing Mathematical Text with – Fairouz Kamareddine, J. B. Wells
17 Toward an object-oriented structure for mathematical text – Fairouz Kamareddine, Manuel Maarek, J. B. Wells - 2006
First Year Report – Mathlang Framework For, Phd Student Manuel Maarek - 2003
A Gradual Computerisation Path in the MathLang Framework: A First Year Report – Robert Lamar - 2007
Under supervision of: – Paul Van Tilburg - 2006
Towards semi-automatic . . . – Krzysztof Retel
(ULTRA group, Heriot-Watt University) – F. Kamareddine, M. Maarek, K. Retel, J. B. Wells, Computerisation Vs. Formalisation
15 MathLang: experience-driven development of a . . . – Fairouz Kamareddine, Manuel Maarek, Joe Wells - 2003
15 Assertion-level proof representation with under-specification – Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Bao Quoc Vo - 2003
Translating Mathematical Vernacular into Knowledge Repositories – Adam Grabowski, Christoph Schwarzweller
2 Mizar Attributes: A Technique to Encode Mathematical Knowledge into Type Systems – Christoph Schwarzweller
9 Gradual computerisation/formalisation of mathematical texts into Mizar – Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
Computerising Mathematical Text with MathLang – Fairouz Kamareddine, Joe B. Wells, CHRISTOPH ZENGLER
Logic and Computerisation in mathematics? – Fairouz Kamareddine - 2009
The impact of computers on the formalisation and study of language – Fairouz Kamareddine - 2005
Heriot-Watt University Edinburgh, Scotland – Fairouz Kamareddine - 2005
Um Ceclo de Computeraçao – Fairouz Kamareddine
MathLang, a framework for computerising – unknown authors - 2007
MathLang, a framework for computerising – unknown authors - 2007