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

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
Tipo: 
Conference paper
Date: 
2007/09/24
Partner_node: 
Jacobs University
AdjuntoTamaño
lwa07.pdf645.21 KB
talk.pdf1.31 MB