This document describes CDEditor, a prototype desktop application for editing OpenMath content dictionaries. CDEditor is available for Linux and Windows at provided websites. It is implemented in Common Lisp and requires some knowledge of OpenMath. The document provides an example of using CDEditor to add an operation for joining simplicial sets to the Simplicial-Sets content dictionary.

1. An OpenMath Content Dictionary Editor
J´nathan Heras
o
Departamento de Matem´ticas y Computaci´n
a o
Universidad de La Rioja
Spain
Content Math Training Camp
CICM 2010, Paris
J. Heras An OpenMath Content Dictionary Editor 1/3

2. CDEditor
CDEditor:
J. Heras An OpenMath Content Dictionary Editor 2/3

3. CDEditor
CDEditor:
Prototype of a desktop application
J. Heras An OpenMath Content Dictionary Editor 2/3

4. CDEditor
CDEditor:
Prototype of a desktop application
Available at www.unirioja.es/cu/joheras or
www.openmath.org
J. Heras An OpenMath Content Dictionary Editor 2/3

5. CDEditor
CDEditor:
Prototype of a desktop application
Available at www.unirioja.es/cu/joheras or
www.openmath.org
Available for Linux and Windows
J. Heras An OpenMath Content Dictionary Editor 2/3

6. CDEditor
CDEditor:
Prototype of a desktop application
Available at www.unirioja.es/cu/joheras or
www.openmath.org
Available for Linux and Windows
Implemented in Common Lisp
J. Heras An OpenMath Content Dictionary Editor 2/3

7. CDEditor
CDEditor:
Prototype of a desktop application
Available at www.unirioja.es/cu/joheras or
www.openmath.org
Available for Linux and Windows
Implemented in Common Lisp
Necessary some knowledge about OpenMath
J. Heras An OpenMath Content Dictionary Editor 2/3

8. CDEditor
CDEditor:
Prototype of a desktop application
Available at www.unirioja.es/cu/joheras or
www.openmath.org
Available for Linux and Windows
Implemented in Common Lisp
Necessary some knowledge about OpenMath
Development of Content Dictionaries for Algebraic Topology
J. Heras An OpenMath Content Dictionary Editor 2/3

9. Example of use
Edit Simplicial-Sets CD:
J. Heras An OpenMath Content Dictionary Editor 3/3

10. Example of use
Edit Simplicial-Sets CD:
Add Join operation:
Name: Join
Description: This symbol represents an 2-ary construction function
for constructing the Join of Simplicial Sets. It takes 2
arguments in order to construct their Join.
Example: S 3 ∨ ∆5
Property: X , Y ∈ SS ⇒ X ∨ Y ∈ SS
Signature: SS × SS ⇒ SS
J. Heras An OpenMath Content Dictionary Editor 3/3