
mathdox.org
RIACA: Research Institute for Applications of Computer AlgebraMathDox, Interactive Mathematics. An activity of the Discrete Algebra and Geometry group of the. Eindhoven University of Technology. 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;.
http://www.mathdox.org/