Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Computerising Mathematical Texts with A project started in 1999
 

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 (2002-2007), K. Retel (2004-), R.
Lamar (2006-)
A number of positions are available, contact
{fairouz,jbw}@macs.hw.ac.uk
ULTRA Group ­ Heriot-Watt 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.

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics