I have come across the MathDox project at RIACA (Research Institute for Applications of Computer Algebra) http://www.mathdox.org/new-web/projects.html
The MathDox project aims to develop a XML format for interactive mathematical documents. These MathDox documents can be transformed to interactive mathematical web pages useing the MathDox Player. MathDox documents can be used for demonstrations of algorithms, testing people's skill in mathematics or explaining new concepts with dynamic, on-screen, calculations. Has anybody tried to use it? Any possible connection with Lyx 1.6? -- Pol
