×

System description: MathHub.info. (English) Zbl 1304.68196

Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 431-434 (2014).
Summary: 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.
For the entire collection see [Zbl 1293.68035].

MSC:

68U35 Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
68T30 Knowledge representation
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Codescu, M., Horozal, F., Kohlhase, M., Mossakowski, T., Rabe, F.: Project Abstract: Logic Atlas and Integrator (LATIN). In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) Calculemus/MKM 2011. LNCS (LNAI), vol. 6824, pp. 289–291. Springer, Heidelberg (2011) · Zbl 1278.68285 · doi:10.1007/978-3-642-22673-1_24
[2] EuDML – The European Digital Mathematics Library, http://eudml.eu (visited on August 02, 2011)
[3] GitLab, http://gitlab.org (visited on February 24, 2014)
[4] Giceva, J., Lange, C., Rabe, F.: Integrating Web Services into Active Mathematical Documents. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus/MKM 2009. LNCS (LNAI), vol. 5625, pp. 279–293. Springer, Heidelberg (2009) · Zbl 1247.68314 · doi:10.1007/978-3-642-02614-0_24
[5] Iancu, M., et al.: The Mizar Mathematical Library in OMDoc: Translation and Applications. Journal of Automated Reasoning 50(2), 191–202 (2013), doi:10.1007/s10817-012-9271-4 · Zbl 1260.68375 · doi:10.1007/s10817-012-9271-4
[6] Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006) · doi:10.1007/11826095
[7] Kohlhase, M.: The Planetary Project: Towards eMath3.0. In: Jeuring, J., Campbell, J.A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M., Sorge, V. (eds.) CICM 2012. LNCS (LNAI), vol. 7362, pp. 448–452. Springer, Heidelberg (2012), arXiv:1206.5048 [cs.DL] · Zbl 1278.68339 · doi:10.1007/978-3-642-31374-5_34
[8] Mizar Mathematical Library, http://www.mizar.org/library (visited on September 27, 2012)
[9] Rabe, F., Kohlhase, M.: A Scalable Module System. Information & Computation (230), 1–54 (2013) · Zbl 1358.68283
[10] Stamerjohanns, H., et al.: Transforming large collections of scientific publications to XML. Mathematics in Computer Science 3(3), 299–307 (2010), Autexier, S., Sojka, P., Suzuki, M. (eds.) · Zbl 1205.68490 · doi:10.1007/s11786-010-0024-7
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.