Magazine:
OpenMath and MathML: semantic markup for mathematics
Unambiguous representation of mathematics is crucial for communications among humans or among computer systems. OpenMath is a standard aimed at supporting a semantically rich interchange of mathematics among varied computational software tools such as computer algebra systems, theorem provers, and tools for visualizing or editing mathematical text. MathML is a W3C Recommendation for the encoding of mathematics 'on the web' which also includes mechanisms for encoding mathematical semantics. We introduce each of these two languages and describe their relationships.
OpenMath and MathML: semantic markup for mathematics
Full text also available in the ACM Digital Library as PDF | HTML | Digital Edition
Thank you for your interest in this article. This content is protected. You may log in with your ACM account or subscribe to access the full text.