 
Summary: Computerising Mathematical Texts with
MathLang
A project started in 1999
by Fairouz Kamareddine and J.B. Wells
Numerous undergraduate and MSc students since 2000
PhD students: M. Maarek (20022007), K. Retel (2004), R.
Lamar (2006)
A number of positions are available, contact
{fairouz,jbw}@macs.hw.ac.uk
ULTRA Group HeriotWatt University
http://www.macs.hw.ac.uk/ultra/
LSFA 2007, Ouro Preto, Brasil
Tuesday 28 August 2007
MathLang, LSFA 2007, Brasil Computerising Mathematical Texts with MathLang
Some background
There are two influencing questions:
1 What is the relationship between logic and mathematics
2 What is the relationship between computer science and
mathematics.
Question 1 has been slowly brewing for over 2500 years.
