Publication
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), located at the Seventh Mathematical Knowledge Management Conference (MKM-2008), July 27 - August 1, Birmingham, United Kingdom, Pages 1-15, MKM Interest Group and Paul Libbrecht, 7/2008.
Abstract
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.