MMM
-----
WWW
Meaningful Mathematical Messages
over
World Wide Web
IDA: Interactive Lecture Notes on Algebra
The project
The idea
Its Chapters
Some applets
Lay out
Conclusion
OpenMath: towards a standard for messages
The OpenMath Movement
The idea
Its Chapters
A typical OM object
The Math-ML Consortium
The ESPRIT project
Conclusion
The logic involvement
Why involve logic?
From OpenMath to a Pure Type System and back
Starting point:
100 mathematical notions
Conclusion
The end