Conferences on Intelligent Computer Mathematics - Birmingham 2008
CICM '08

Doctoral Programme

Birmingham, UK, 29-31 July 2008

Marc Wagner: Intelligent Mathematical Authoring

The interactive use of mathematical assistance systems required so far to get familiar with their input- and command language. With the integration in scientific text-editors we can use the presentation format as input document by analysing the contained natural language and formulas. In order to support the whole authoring process of a mathematical document we need a tight connection of methods and techniques from the areas of computational linguistics and computer science. Based on the semantic representation of a document, generated by an incremental parser, the mathematical assistance system tries to verify the document. During the document authoring an efficient management of dependencies and propagation of change is needed to obtain short response times in practice.