Abstract
Scientific publications are still the most important medium for publishing mathematical research results. They serve as a container for different types of mathematical research data, especially mathematical models, theories, theorems, conjectures, proofs, algorithms, etc. They also link to mathematical software and simulations which has became more and more important for mathematics and applications. Therefore it seems to be natural to use publications for a more sophisticated analysis of mathematical research data, especially software. Mathematical publications are well-structured and use a more or less standard terminology for content, e.g., theorems, proofs, etc, and the formal structure. Nevertheless, publications could be used as a starting point to develop information services for mathematical research data. In the talk, the publication-based approach for mathematical software and a possible extension to mathematical models are discussed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Open Mathematical Documents (OMDoc). https://kwarc.info/systems/omdoc/
Mathemathics Markup Language (MathML). https://www.w3.org/TR/MathML3/
The database zbMATH (1868–). https://www.zbmath.org
MathSciNet. http://www.ams.org/mathscinet
The Mathematics Subject Classification (2010). http://www.msc2010.org
Jahrbuch über die Fortschritte der Mathematik. https://www.emis.de/MATH/JFM/JFM.html
Smith, A.M., Katz, D.S., Niemeyer, K.E.: Software citation principles. PeerJ Comput. Sci. 2, e86 (2016). https://doi.org/10.7717/peerj-cs.86. https://www.force11.org/software-citation-principles
CodeMeta. https://github.com/codemeta/
The database swMATH (2018–). http://www.swmath.org
Greuel, G.-M., Sperber, W.: swMATH – an information service for mathematical software. In: Hong, H., Yap, C. (eds.) ICMS 2014. LNCS, vol. 8592, pp. 691–701. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44199-2_103. http://www.mathematik.uni-kl.de/~greuel/Paper/GeneralType/2014-ICMS_swmath.pdf
ACM Transactions on Mathematical Software (TOMS) (1975–). http://toms.acm.org/
arXiv.org e-Print archive. http://arxiv.org/
Software Heritage. https://www.softwareheritage.org/
Chrapary, H., Dalitz, W.: Software products, software versions, archiving of software, and swMATH. In: Davenport, J.H., Kauers, M., Labahn, G., Urban, J. (eds.) ICMS 2018. LNCS, vol. 10931, pp. 123–127. Springer, Cham (2018)
Koprucki, T., Kohlhase, M., Tabelow, K., Mller, D., Rabe, F.: Model pathway diagrams for the representation of mathematical models. Opt. Quant. Electron. 50 (2018). https://doi.org/10.1007/s11082-018-1321-7
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Sperber, W. (2018). Mathematical Research Data, Software, Models, and the Publication-Based Approach. In: Davenport, J., Kauers, M., Labahn, G., Urban, J. (eds) Mathematical Software – ICMS 2018. ICMS 2018. Lecture Notes in Computer Science(), vol 10931. Springer, Cham. https://doi.org/10.1007/978-3-319-96418-8_53
Download citation
DOI: https://doi.org/10.1007/978-3-319-96418-8_53
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-96417-1
Online ISBN: 978-3-319-96418-8
eBook Packages: Computer ScienceComputer Science (R0)