OpenMath Content Dictionaries

About

A content dictionary is the declaration of a collection of symbols, their names, descriptions, and rules. A published CD allows multiple parties to “speak the same OpenMath language”. An example of CD is setname1 which indicates the semantics of such symbols such as the set of natural numbers.

CDs are grouped in CD-groups. For example, the MathML CD group collects the ‘core CDs’, all content-dictionaries described in the OpenMath standard deemed compatible with the MathML3 Recommendation

Curation

The OpenMath Society curates a set of Content Dictionaries through its Editorial Board for Content Dictionaries. For the CD submission and curation process see the CD FAQ and the README on the CDs repository

CD indexes

• CD Groups: A list of all 20 Content Dictionary Groups available on this server.
• All CDs by Name: A list of all 218 Content Dictionaries (including contributed Dictionaries).
• Index of all Symbols: A list of all 1600 symbols defined in any Content Dictionary (including contributed Dictionaries).
• Git Repository: A github hosted repository, you can browse the files online, download a zip file to your local machine, or clone the repository.

Validation

Tools to validatate Cd and other OpenMath related files are described in the validation page, including an online validation tool

FAQ

If you have trouble expressing yourself in terms of the existing CDs, maybe others had too, and you can find the answer in the OpenMath CDs FAQ