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 sameOpenMath language”. An example of CD issetname1 whichindicates the semantics of such symbols such as the set of natural numbers.

CDs are grouped in CD-groups. For example, theMathML CD groupcollects the ‘core CDs’, all content-dictionaries described in the OpenMath standarddeemed compatible with theMathML3 Recommendation

Curation

TheOpenMath Society curates a set ofContent Dictionaries throughitsEditorial Board for Content Dictionaries. For the CD submission and curation process seethe CD FAQ andthe 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 thevalidation page, including anonline validation tool

FAQ

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