Easily Editing and Browsing Complex OpenMath Markup with SWiM
We present how the mathematical semantic wiki SWiM has been enhanced towards support for
editing content dictionaries (CDs) in the semantic markup language OpenMath. The
ongoing revision of the OpenMath CDs for the 3rd version of the standard has motivated
several enhancements to the SWiM user interface: a structural editor for CDs and their
most common elements, particularly addressing notation definitions for symbols, the
integration of a visual OpenMath formula editor, and a form-based editor for metadata.
We show how OpenMath CDs imported from the filesystem or a Subversion repository are
split into handy fragments that are convenient to edit and navigate, and reassembled on
export.
(Slides)
Publication_details:
Presented at the workshop for mathematical user interfaces (MathUI), Conferences on Intelligent Computer Mathematics, University of Birmingham, UK, July 2008Tyyppi:
Conference paperPäivämäärä:
2008/07/27Partner_node:
Jacobs University- Lisää uusi kommentti
- luettu %count kertaa


