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 |