The UniFormal and
OMDoc (OpenMathematical Documents) projects use OpenMath internally
for representing mathematical objects and the XML encoding for communication and
long-term storage.
Previous Projects
The WebAlt Project, an EU Project 2004-2007.
The JEM Thematic Network, an activity funded by the European Union 2006 - 2009.