WIRIS OM Tools a Semantic Formula Editor
Daniel Marquès, Ramon Eixarch, Glòria Casanellas, Bruno Martínez, and Tim Smith
Abstract:
With the increasing reliance on computers for the automatic processing
of information a new method is needed for editing mathematical formulae.
We are used to WYSIWYG editors that produce beautiful presentations of
formulae and store the typesetting primitives rather than the meaning of the
formulas. However, new services such as database searching or calculation
web-services work best if they have access to the semantic information behind
a formula. This can only be done with a new generation of formula editors.
In this paper we present WIRIS OM Tools [17], a semantic oriented formula
editor which addresses these concerns. It is based on the OpenMath language
and a suitable transformation process between OpenMath and MathML ex-
pressions. Additionally, this approach adds new features for the users such
as error, type and syntax checking. The editor is currently being used in the
LeActiveMath and WebALT projects.