Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change

user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231487022 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 >= 1231487022 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

The interactive use of mathematical assistance systems requires an intensive training in their input and command language. With the integration into scientific WYSIWYG text-editors the author can directly use the natural language and formula notation she is used to. In the new document-centric paradigm changes to the document are transformed by a mediator into commands for the mathematical assistance system. This paper describes how ontology-driven management of change can improve the process of interactive mathematical authoring.

Author(s):

Normen Müller, Marc Wagner

Nature:

Conference paper

Date:

2007/09/24

URL:

LWA07

Partner_node:

Jacobs University