An OpenMath Content Dictionary Editor

Jonathan Heras

Departamento de Matematicas y ComputacionUniversidad de La Rioja

Spain

Content Math Training Camp

CICM 2010, Paris

J. Heras An OpenMath Content Dictionary Editor 1/3

CDEditor

CDEditor:

Prototype of a desktop applicationAvailable at www.unirioja.es/cu/joheras orwww.openmath.orgAvailable for Linux and WindowsImplemented in Common LispNecessary some knowledge about OpenMathDevelopment of Content Dictionaries for Algebraic Topology

J. Heras An OpenMath Content Dictionary Editor 2/3

CDEditor

CDEditor:

Prototype of a desktop application

Available at www.unirioja.es/cu/joheras orwww.openmath.orgAvailable for Linux and WindowsImplemented in Common LispNecessary some knowledge about OpenMathDevelopment of Content Dictionaries for Algebraic Topology

J. Heras An OpenMath Content Dictionary Editor 2/3

CDEditor

CDEditor:

Prototype of a desktop applicationAvailable at www.unirioja.es/cu/joheras orwww.openmath.org

Available for Linux and WindowsImplemented in Common LispNecessary some knowledge about OpenMathDevelopment of Content Dictionaries for Algebraic Topology

J. Heras An OpenMath Content Dictionary Editor 2/3

CDEditor

CDEditor:

Prototype of a desktop applicationAvailable at www.unirioja.es/cu/joheras orwww.openmath.orgAvailable for Linux and Windows

Implemented in Common LispNecessary some knowledge about OpenMathDevelopment of Content Dictionaries for Algebraic Topology

J. Heras An OpenMath Content Dictionary Editor 2/3

CDEditor

CDEditor:

Prototype of a desktop applicationAvailable at www.unirioja.es/cu/joheras orwww.openmath.orgAvailable for Linux and WindowsImplemented in Common Lisp

Necessary some knowledge about OpenMathDevelopment of Content Dictionaries for Algebraic Topology

J. Heras An OpenMath Content Dictionary Editor 2/3

CDEditor

CDEditor:

Prototype of a desktop applicationAvailable at www.unirioja.es/cu/joheras orwww.openmath.orgAvailable for Linux and WindowsImplemented in Common LispNecessary some knowledge about OpenMath

Development of Content Dictionaries for Algebraic Topology

J. Heras An OpenMath Content Dictionary Editor 2/3

CDEditor

CDEditor:

Prototype of a desktop applicationAvailable at www.unirioja.es/cu/joheras orwww.openmath.orgAvailable for Linux and WindowsImplemented in Common LispNecessary some knowledge about OpenMathDevelopment of Content Dictionaries for Algebraic Topology

J. Heras An OpenMath Content Dictionary Editor 2/3

Example of use

Edit Simplicial-Sets CD:

Add Join operation:

Name: JoinDescription: This symbol represents an 2-ary construction function

for constructing the Join of Simplicial Sets. It takes 2arguments in order to construct their Join.

Example: S3 ∨∆5

Property: X , Y ∈ SS ⇒ X ∨ Y ∈ SSSignature: SS × SS ⇒ SS

J. Heras An OpenMath Content Dictionary Editor 3/3

Example of use

Edit Simplicial-Sets CD:Add Join operation:

Name: JoinDescription: This symbol represents an 2-ary construction function

for constructing the Join of Simplicial Sets. It takes 2arguments in order to construct their Join.

Example: S3 ∨∆5

Property: X , Y ∈ SS ⇒ X ∨ Y ∈ SSSignature: SS × SS ⇒ SS

J. Heras An OpenMath Content Dictionary Editor 3/3