OpenMath Content Dictionaries

CDs indexed by CD Group

A list of all Content Dictionary Groups available on this server.

Contributed CDs    (CD submission form)

Content Dictionaries submitted using the contribution form.

CDs indexed by CD Name

A list of all Content Dictionaries (including contributed Dictionaries).

Index of all Symbols

A list of all symbols defined in any Content Dictionary (including contributed Dictionaries).

Index of all Symbols (alternative)

A list of all symbols defined in any Content Dictionary (including contributed Dictionaries), browsable in the OpenMath wiki.

Archive of All CDs

A gzipped compressed tarball of all content-dictionaries.

CD wiki

Browse and discuss the CDs in our wiki!