The OpenMath Society OpenMath Content Dictionariary collection.
All the Content Dictionaries distributed from this site
are available with URI of the form
For example: http://www.openmath.org/cd/arith1.ocd
There are three separate "views" of the Content Dictionaries provided by the HTML interface.
An archive of the entire collection as a gzipped tar file is also available.
Each CD and Signature file is presented in three formats: formatted as HTML, the original source Content Dictionary or Signature File (an XML document) and encoded as an OpenMath Object (in the OpenMath XML encoding).
The conversions from the original XML document to the HTML and XML encoded OpenMath are all implemented in XSL. The XSL stylesheets are available at the links below. XML DTD for the various documents are similarly available. All of the HTML files with the exception of this introductory page were generated from the OpenMath documents using XSL (James Clark's XT implementation of October 1999).
As there are several interelated pages you may prefer to obtain the archive which you may unpack and browse locally.
These notes assume a Frames capable browser. Extra information on navigating these pages without frames should have been displayed if you are using a browser without frame support.
Within each of the three "views" described above, the page should display three frames.
Usually the lower frame on the left has a table of contents frame for a given CD Group. The name of the CD Group is a link to the original XML CD Group file, this is followed by links to the HTML formatted versions of each CD in the Group.
This frame also shows the index of all symbols defined. Each symbol is a link to the appropriate section of the HTML formatted CD.
The main frame displays the CD or CD Signature files. The links from the tables of contents frames display the HTML formatted versions of these files, but the head of each CD has links to the original XML source file, and the OpenMath encoded version.
This frame is also used for displaying signature files which may be accessed from links in the HTML formatted CD pages.