Advertisement

Mathematical Research Data, Software, Models, and the Publication-Based Approach

  • Wolfram SperberEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10931)

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.

Keywords

Mathematical research data Software Mathematical models Information services Heuristics 

References

  1. 1.
    Open Mathematical Documents (OMDoc). https://kwarc.info/systems/omdoc/
  2. 2.
    Mathemathics Markup Language (MathML). https://www.w3.org/TR/MathML3/
  3. 3.
    The database zbMATH (1868–). https://www.zbmath.org
  4. 4.
  5. 5.
    The Mathematics Subject Classification (2010). http://www.msc2010.org
  6. 6.
    Jahrbuch über die Fortschritte der Mathematik. https://www.emis.de/MATH/JFM/JFM.html
  7. 7.
    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-principlesCrossRefGoogle Scholar
  8. 8.
  9. 9.
    The database swMATH (2018–). http://www.swmath.org
  10. 10.
    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.pdfzbMATHGoogle Scholar
  11. 11.
    ACM Transactions on Mathematical Software (TOMS) (1975–). http://toms.acm.org/
  12. 12.
    arXiv.org e-Print archive. http://arxiv.org/
  13. 13.
  14. 14.
  15. 15.
    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)Google Scholar
  16. 16.
    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

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.FIZ Karlsruhe/zbMATHBerlinGermany

Personalised recommendations