The MathDox Manual
Hans
Cuypers
Jan Willem
Knopper
Mark
Spanbroek
Rikko
Verrijzer
Eindhoven University of Technology
Introduction
Introduction
Getting Started
Installing the MathDox Player
Installing OpenMath phrasebooks
How MathDox works
MathDox architecture
MathDox tutorial
DocBook: the structure of MathDox documents
Programming constructs
Mathematics in Mathbook
XForms
Monet queries
The use of macro's
MathDox Exercises