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 2008
Author(s): 
Christoph Lange, Alberto González Palomo
Tyyppi: 
Conference paper
Päivämäärä: 
2008/07/27
Partner_node: 
Jacobs University