Names...

OpenMath an XML-based extensible encoding of mathematical semantic
OMdoc an extension of OpenMath to architecture documents, inspired by automated prover makers
MathWeb a broker software to offer mathematical services
MathML an XML-based encoding of mathematical semantic and presentation (not really extensible)
ActiveMath a web-based learningenvironment to display OMdocs on the Web

 

<- ->