MathLang: experience-driven development of a . . . (2003)

by Fairouz Kamareddine , Manuel Maarek , Joe Wells
Citations:15 - 9 self

Active Bibliography

First Year Report – Mathlang Framework For, Phd Student Manuel Maarek - 2003
1 Abstract Computerizing Mathematical Text with – Fairouz Kamareddine, J. B. Wells
24 Flexible encoding of mathematics on the computer – Fairouz Kamareddine, Manuel Maarek, J. B. Wells - 2004
public documents – Fairouz Kamareddine, Manuel Maarek, Joe Wells - 2003
The evolution of types and logic in the 20th century: A journey through Frege, Russell and . . . – Fairouz Kamareddine - 2004
century: A journey through Frege, Russell and – Fairouz Kamareddine - 2004
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
MathLang: A language for Mathematics – Fairouz Kamareddine - 2004
MathLang, a framework for computerising – Fairouz Kamareddine - 2006
3 The De Bruijn Factor – Freek Wiedijk - 2000
A Gradual Computerisation Path in the MathLang Framework: A First Year Report – Robert Lamar - 2007
8 Intuitive and Formal Representations: The Case of Matrices – Martin Pollet, Volker Sorge, Manfred Kerber - 2004
(ULTRA group, Heriot-Watt University) – F. Kamareddine, M. Maarek, K. Retel, J. B. Wells, Computerisation Vs. Formalisation
Mechanizing and Automating Mathematics: In honor of N.G. de Bruijn – Automath Started In, Automath N. G, Bruijn Automath