MathLang

In Edinburgh I was part of the ULTRA Group and participated in the MathLang project. MathLang is a framework for computerising mathematical text. MathLang tries to keep the computerisation as close as possible to the mathematician’s text while at the same time providing a formal structure supporting mathematical software systems (e.g. computer algebra systems, theorem provers, etc.).

Publications

• Computerising mathematical texts in MathLang
  Fairouz Kamareddine, J.B. Wells and Christoph Zengler
  Download Paper || Download extended paper
• MathLang – Towards a Better Usability and Building the Path into Coq
  Christoph Zengler
  Download report || Download extended Report

Talks

• Gradual computerisation of mathematical texts
  Talk at the Doctorial Symposium at the MKM 2009 in Birmingham
  Download slides of the talk
• MathLang – Towards a Better Usability and Building the Path into Coq
  Defense of my 1st year report 2009
  Download slides of the talk