| 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 |