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