Easily Editing and Browsing Complex OpenMath Markup with SWiM

user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231498702 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231498702 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

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

Tipo:

Conference paper

Date:

2008/07/27

URL:

http://kwarc.info/projects/swim/pubs/mathui08.pdf

Partner_node:

Jacobs University