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.
Keywords for this software
References in zbMATH (referenced in 10 articles )
Showing results 1 to 10 of 10.
- Khan-Afshar, Sanaz; Siddique, Umair; Mahmoud, Mohamed Yousri; Aravantinos, Vincent; Seddiki, Ons; Hasan, Osman; Tahar, Sofiène: Formal analysis of optical systems (2014)
- Chen, Xiaoyu; Huang, Ying; Wang, Dongming: On the design and implementation of a geometric knowledge base (2011)
- Lange, Christoph: Enabling collaboration on semiformal mathematical knowledge by semantic web integration (2011)
- Chen, Xiaoyu: Electronic Geometry Textbook: a geometric textbook knowledge management system (2010)
- Cohen, A. M.; Cuypers, H.; Verrijzer, R.: Mathematical context in interactive documents (2010)
- Kohlhase, Andrea; Kohlhase, Michael; Lange, Christoph: Dimensions of formality: a case study for MKM in software engineering (2010)
- Giceva, Jana; Lange, Christoph; Rabe, Florian: Integrating web services into active mathematical documents (2009)
- Horn, Peter; Roozemond, Dan: OpenMath in SCIEnce: SCSCP and POPCORN (2009)
- Kohlhase, Andrea; Kohlhase, Michael: Spreadsheet interaction with frames: exploring a mathematical practice (2009)
- Cohen, Arjeh M.: Interactive mathematical documents (2006)
Further publications can be found at: http://mathdox.org/new-web/publications/index.html