Summary: Computerising Mathematical Texts with
A project started in 1999
by Fairouz Kamareddine and J.B. Wells
Numerous undergraduate and MSc students since 2000
PhD students: M. Maarek (2002-2007), K. Retel (2004-), R.
A number of positions are available, contact
ULTRA Group Heriot-Watt University
LSFA 2007, Ouro Preto, Brasil
Tuesday 28 August 2007
MathLang, LSFA 2007, Brasil Computerising Mathematical Texts with MathLang
There are two influencing questions:
1 What is the relationship between logic and mathematics
2 What is the relationship between computer science and
Question 1 has been slowly brewing for over 2500 years.