Discovering How to Write Semantic Math with new Symbols
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
adaptations, and with added-value services that may help the learners
in reading 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 official 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