Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

CMTC2010

656 views

Published on

Published in: Technology, Education
  • Be the first to comment

  • Be the first to like this

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

×