Thematic Netork "OpenMath"
Integrating Math Software Systems by content Markup for Formulae

From: 2001
To: 2004

Funding: EU
Program: IST Thematic Netork
Grant ID: IST-2000-29719

Prof. Dr. Michael Kohlhase
Dr. Normen Müller


The OpenMath Thematic Network, was a European Union sponsored project with the following main activities:

  • to organise workshops bringing together people working on OpenMath from around the world;
  • to provide a continued focus-point for the development of the OpenMath Standard and Content Dictionaries;
  • to facilitate European participation in the W3C Math Working group by sponsoring the representatives from NAG, Stilo Technology and INRIA.
  • to coordinate the development of OpenMath and MathML tools, in particular stylesheets;
  • to coordinate the development of OpenMath and MathML applications;
  • to disseminate information about OpenMath and MathML.