CMTC2010
Upcoming SlideShare
Loading in...5
×
 

Like this? Share it with your network

Share

CMTC2010

on

  • 599 views

 

Statistics

Views

Total Views
599
Views on SlideShare
599
Embed Views
0

Actions

Likes
0
Downloads
0
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

CMTC2010 Presentation Transcript

  • 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