Discovering How to Write Semantic Math with new Symbols

Eric Andres, Michael Dietrich, Paul Libbrecht

In: Proceedings of MathUI'08. Mathematical User-Interfaces Workshop (MathUI-08) befindet sich the Seventh Mathematical Knowledge Management Conference (MKM-2008) July 27-August 1 Birmingham United Kingdom Seiten 1-15 MKM Interest Group and Paul Libbrecht 7/2008.


The ActiveMath learning environment is based on semantic mathematical formulæ encoded using OpenMath1 . This gives it a chance to render formulæ on a variety of platforms, using cultural-dependent adap- tations, and with added-value services that may help the learners in read- ing the formulæ. The price to pay at authoring, however, is high since it requires encoding the meaning and not only the graphical presentation of the formulæ. Examples of challenges include the input of K[x1 , ..., xn ] which is well known to represent the ring of polynomials on n variables but which does not enjoy, yet, the support of o?cial Content Dictionaries for the symbols. In this paper, we explain methods we propose to discover the symbols needed to encode expressions, the typical expressions, and the ways to input this within the ActiveMath learning environment with jEditOQMath and to have it rendered. En passant, we describe requirements on the browsing and search methods for the presentations of OpenMath Content Dictionaries.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence