System Description: MathHub.info
System Description: MathHub.info
Mihnea Iancu,C. Jucovschi,M. Kohlhase,Tom Wiesing
2014 · DOI: 10.1007/978-3-319-08434-3_33
International Conference on Intelligent Computer Mathematics · 13 Citations
TLDR
The MathHub.info system is a development environment for active mathematical documents and an archive for flexiformal mathematics in the OMDoc/MMT format, which offers a rich interface for reading, writing, and interacting with mathematical Documents and knowledge.