MathHub.info swMATH ID: 13282 Software Authors: Iancu, Mihnea; Jucovschi, Constantin; Kohlhase, Michael; Wiesing, Tom Description: System description: MathHub.info. We present the MathHub.info system, a development environment for active mathematical documents and an archive for flexiformal mathematics. It offers a rich interface for reading, writing, and interacting with mathematical documents and knowledge. The core of the MathHub.info system is an archive for flexiformal mathematical documents and libraries in the OMDoc/MMT format. Content can be authored or archived in the source format of the respective system, is versioned in GIT repositories, and transformed into OMDoc/MMT for machine-support and further into HTML5 for reading and interaction. Homepage: https://mathhub.info/ Related Software: MMT; OMDoc; HOL Light; Mizar; LATIN; PVS; Coq; QMT; HOL; Py4J; TGView3D; Jupyter; OpenDreamKit; Slick; DiscreteZOO; FindStat; LMFDB; OEIS; vis.js; HOLyHammer Cited in: 9 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year System description: MathHub.info. Zbl 1304.68196Iancu, Mihnea; Jucovschi, Constantin; Kohlhase, Michael; Wiesing, Tom 2014 all top 5 Cited by 15 Authors 6 Kohlhase, Michael 4 Rabe, Florian 2 Iancu, Mihnea 2 Jucovschi, Constantin 2 Wiesing, Tom 1 Amann, Kai 1 Berčič, Katja 1 Davenport, James Harold 1 Müller, Dennis 1 Owre, Sam 1 Prodescu, Corneliu-Claudiu 1 Sexton, Alan P. 1 Sojka, Petr 1 Urban, Josef 1 Watt, Stephen Michael Cited in 2 Serials 1 Lecture Notes in Computer Science 1 Logica Universalis Cited in 3 Fields 8 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year