The OpenMath standard: the OpenMath ESPRIT consortium
Olga Caprotti, DP Carlisle, AM Arjeh Cohen · TU/e Research Portal · 2000
This document proposes OpenMath as a standard for the communication of semantically rich mathematical objects.This draft of the OpenMath standard comprises the following: a description of OpenMath objects, the grammar of xml and of the binary encoding of objects, a description of Content Dictionaries and an xml document type definition for validating Content Dictionaries.The non-normative Chapter 1 of this document briefly overviews the history of OpenMath.