MathDox Editor
At the TU/e we have started the development of an online Math Editor.We report on a new
Web-based tool under development at the TU/e, called MathDox Editor, for the interactive entering
and editing of semantically rich mathematical documents and expressions.
The (envisoned) features of the MathDox editor are:
- Rich mathematical document structure (theorem, lemma, proof etc).
- Inline editing of mathematical formulas;
- Semantic presentation of mathematics in OpenMath;
- Basic output format MathDox (an extension of DocBook with OpenMath);
- Various output formats through XSL-transformation:
XHTML-MathML 2.0 and 3.0, ODF-MathML, LaTeX; - Access to computational back engines (e.g. Computer Algebra Systems, like Mathematica, Maple and Maxima, GAP, or other OpenMath enabled mathematical software).
This online editor is envisioned to be used inside (mathematical)
e-learning tools, such as learning and content management systems,
forums, (mathematical) assessment
systems etc., but also for writing short notes and mathematical webpages.
Thus, it targets at researchers, educators and students in all fields of
science, math and technology, both at high school and university level.
The MathDox Editor and its components
will be made available as open source software.
We have developed proofs of concept for various features. These can be found at
http://www.mathdox.org/MathDoxEditor

