WIRIS OM Tools: a Semantic Formula Editor

Tools

Marques, Daniel and Eixarch, Ramon and Casanellas, Gloria and Martinez, Bruno and Smith, Tim (2006) WIRIS OM Tools: a Semantic Formula Editor. In: Mathematical User-Interfaces Workshop 2006, 10 August 2006, Workingham, UK.

Type of Research:	Conference, Symposium or Workshop Item
Creators:	Marques, Daniel and Eixarch, Ramon and Casanellas, Gloria and Martinez, Bruno and Smith, Tim
Description:	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.
Additional Information (Publicly available):	At the Fifth Mathematical Knowledge Management Conference
Your affiliations with UAL:	Research Centres/Networks > Institute for Creative Computing
Date:	2006
Event Location:	Workingham, UK
Date Deposited:	16 Jun 2014 13:32
Last Modified:	14 Feb 2024 16:01
Item ID:	21214
URI:	https://ualresearchonline.arts.ac.uk/id/eprint/21214

Repository Staff Only: item control page | University Staff: Request a correction