Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
EuDML – The European Digital Mathematics Library, http://eudml.eu (visited on August 02, 2011)
GitLab, http://gitlab.org (visited on February 24, 2014)
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)
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
Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)
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]
Mizar Mathematical Library, http://www.mizar.org/library (visited on September 27, 2012)
Rabe, F., Kohlhase, M.: A Scalable Module System. Information & Computation (230), 1–54 (2013)
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.)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Iancu, M., Jucovschi, C., Kohlhase, M., Wiesing, T. (2014). System Description: MathHub.info. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds) Intelligent Computer Mathematics. CICM 2014. Lecture Notes in Computer Science(), vol 8543. Springer, Cham. https://doi.org/10.1007/978-3-319-08434-3_33
Download citation
DOI: https://doi.org/10.1007/978-3-319-08434-3_33
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08433-6
Online ISBN: 978-3-319-08434-3
eBook Packages: Computer ScienceComputer Science (R0)