Links

Related Projects

• Mathematics On The NET (MONET)
• OpenMath
• TRIAL-SOLUTION
• MoWGLI
• Theorema

Related Meetings and Proceedings

• Thirty Five Years of Automath Wednesday 10-Saturday 13 April 2002

Our Sponsors

• Information Access, Filtering, Analysis and Handling, part of the IST Programme.