CMTC2010

555 views
526 views

Published on

Published in: Technology, Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
555
On SlideShare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

CMTC2010

  1. 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. 2. CDEditor CDEditor: J. Heras An OpenMath Content Dictionary Editor 2/3
  3. 3. CDEditor CDEditor: Prototype of a desktop application J. Heras An OpenMath Content Dictionary Editor 2/3
  4. 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. 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. 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. 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. 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. 9. Example of use Edit Simplicial-Sets CD: J. Heras An OpenMath Content Dictionary Editor 3/3
  10. 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

×