MathDox

MathDox is an ensemble of software tools for creating Interactive Mathematical Documents. It is a software system including an XML based language (based on DocBook) that offers markup support for the source texts of Interactive Mathematical Documents; a document server , rendering interactive mathematical documents from source text and interactively obtained information; mathematical services, providing connections with Computer Algebra Systems like Mathematica, Maxima and GAP via OpenMath phrasebooks.