OpenMath: The future
The rôle of Mathematics
An example: Ariane 5
Mathematics and Computers
Documentation
OpenMath aims
Applications
Not OpenMath aims
Distinguish content from form
Semantically Rich
Semantically Rich (2)
Semantically Rich (3)
Semantically Rich (4)
Semantically Rich (5)
Therefore
Summary
The future
A Spelling Checker?
Email: jhd@maths.bath.ac.uk
Home Page: http://www.bath.ac.uk/~masjhd