Skip to main content
Springer Nature Link
Log in

A FAIR File Format for Mathematical Software

  • Conference paper
  • First Online:
Mathematical Software – ICMS 2024 (ICMS 2024)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14749))

Included in the following conference series:

  • 433 Accesses

Abstract

We describe a JSON based file format for storing and sharing results in computer algebra without losing accuracy. Guided by practical usability, some key features are the flexibility to handle data structures unknown at the time of design, a clear method for transitioning to the latest format and a way of separating data of distinct or even contradicting semantics. This is implemented in the computer algebra system OSCAR  [5, 20], but we also indicate how it can be used in a different context.

The project was supported by MaRDI, funded by the Deutsche Forschungsgemeinschaft (DFG), project number 460135501, NFDI 29/1 MaRDI - Mathematische Forschungsdateninitiative.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    https://protobuf.dev/.

  2. 2.

    https://jupyter.org.

  3. 3.

    https://www.wolfram.com/mathematica.

  4. 4.

    https://maplesoft.com/products/maple.

  5. 5.

    https://pdfa.org/resource/iso-32000-pdf/.

  6. 6.

    https://jqlang.github.io/jq/.

  7. 7.

    https://orcid.org.

  8. 8.

    https://portal.mardi4nfdi.de/wiki/Portal.

References

  1. Assarf, B., et al.: Computing convex hulls and counting integer points with polymake. Math. Program. Comput. 9(1), 1–38 (2017)

    Article  MathSciNet  Google Scholar 

  2. Bezanson, J., Edelman, A., Karpinski, S., Shah, V.B.: Julia: a fresh approach to numerical computing. SIAM Rev. 59(1), 65–98 (2017)

    Article  MathSciNet  Google Scholar 

  3. Buchberger, B., Loos, R.: Algebraic simplification. In: Buchberger, B., Collins, G.E., Loos, R. (eds.) Computer Algebra, vol. 4, pp. 11–43. Springer, Vienna (1983). https://doi.org/10.1007/978-3-7091-3406-1_2

    Chapter  Google Scholar 

  4. Cox, D.A., Little, J.B., Schenck, H.K.: Toric Varieties. Graduate Studies in Mathematics, vol. 124. American Mathematical Society, Providence (2011)

    Google Scholar 

  5. Decker, W., Eder, C., Fieker, C., Horn, M., Joswig, M. (eds.): The Computer Algebra System OSCAR: Algorithms and Examples. Algorithms and Computation in Mathematics, Springer, Cham (2024)

    Google Scholar 

  6. Decker, W., Schreyer, F.O.: Non-general type surfaces in \({\bf P}^4\): some remarks on bounds and constructions. J. Symbolic Comput. 29(4-5), 545–582 (2000). Symbolic Computation in Algebra, Analysis, and Geometry, Berkeley, CA (1998)

    Google Scholar 

  7. Decker, W., et al.: Singular—a computer algebra system for polynomial computations, version 4.3.2-p16 (2024). http://www.singular.uni-kl.de

  8. Dewar, M.: OpenMath: an overview. SIGSAM Bull. 34(2), 2–5 (2000)

    Article  MathSciNet  Google Scholar 

  9. Ellingsrud, G., Peskine, C.: Sur les surfaces lisses de \({ P}_4\). Invent. Math. 95(1), 1–11 (1989)

    Article  MathSciNet  Google Scholar 

  10. Fateman, R.: A critique of OpenMath and thoughts on encoding mathematics, January 2001. https://people.eecs.berkeley.edu/~fateman/papers/openmathcrit.pdf

  11. Fateman, R.: More versatile scientific documents (2003). https://people.eecs.berkeley.edu/~fateman/MVSD.html

  12. Fieker, C., et al.: Nemo/Hecke: computer algebra and number theory packages for the Julia programming language. In: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, New York, NY, USA, pp. 157–164. ACM (2017)

    Google Scholar 

  13. von zur Gathen, J., Gerhard, J.: Modern Computer Algebra. Cambridge University Press, New York (1999)

    Google Scholar 

  14. Gawrilow, E., Hampe, S., Joswig, M.: The polymake XML file format. In: Greuel, G.-M., Koch, T., Paule, P., Sommese, A. (eds.) ICMS 2016. LNCS, vol. 9725, pp. 403–410. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42432-3_50

    Chapter  Google Scholar 

  15. Geiselmann, Z., et al.: Algebraically precise Johnson solids (2024). https://doi.org/10.5281/zenodo.10729583

  16. Gleixner, A., et al.: MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library. Mathematical Programming Computation (2021)

    Google Scholar 

  17. Paffenholz, A.: polyDB: a database for polytopes and related objects. In: Böckle, G., Decker, W., Malle, G. (eds.) Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory, pp. 533–547. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-70566-8_23

    Chapter  Google Scholar 

  18. The GAP Group: GAP – Groups, Algorithms, and Programming, Version 4.12.2 (2022). https://www.gap-system.org

  19. The MaRDI Consortium: MaRDI: Mathematical Research Data Initiative Proposal, May 2022. https://doi.org/10.5281/zenodo.6552436

  20. The OSCAR Team: OSCAR – Open Source Computer Algebra Research system, Version 1.0.0 (2024). https://www.oscar-system.org

  21. The SageMath Developers: SageMath, version 10.2, December 2023. https://doi.org/10.5281/zenodo.10252400

  22. Wright, A., Andrews, H., Hutton, B., Dennis, G.: JSON schema: a media type for describing JSON documents (2020). https://json-schema.org/draft/2020-12/json-schema-core.html

Download references

Acknowledgement

We are grateful to the entire OSCAR developer team for implementing and discussing code; special thanks to Claus Fieker, Tommy Hofmann, and Max Horn. Further we are indebted to Lars Kastner for discussing FAIR principles, to Wolfram Decker for explaining algebraic surfaces in \({\mathbb P}^4\), and to John Abbott, Ewgenij Gawrilow, and Aaruni Kaushik for helpful feedback.

Author information

Authors and Affiliations

  1. Discrete Mathematics/Geometry, Technische Universität Berlin, Berlin, Germany

    Antony Della Vecchia, Michael Joswig & Benjamin Lorenz

  2. Max Planck Institute for Mathematics in the Sciences, Leipzig, Germany

    Michael Joswig

Authors
  1. Antony Della Vecchia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Joswig
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Benjamin Lorenz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Antony Della Vecchia .

Editor information

Editors and Affiliations

  1. Imperial College London, London, UK

    Kevin Buzzard

  2. University of Buenos Aires, Buenos Aires, Argentina

    Alicia Dickenstein

  3. TU Braunschweig, Braunschweig, Germany

    Bettina Eick

  4. Georgia Institute of Technology, Atlanta, GA, USA

    Anton Leykin

  5. Durham University, Durham, UK

    Yue Ren

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Della Vecchia, A., Joswig, M., Lorenz, B. (2024). A FAIR File Format for Mathematical Software. In: Buzzard, K., Dickenstein, A., Eick, B., Leykin, A., Ren, Y. (eds) Mathematical Software – ICMS 2024. ICMS 2024. Lecture Notes in Computer Science, vol 14749. Springer, Cham. https://doi.org/10.1007/978-3-031-64529-7_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-64529-7_25

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-64528-0

  • Online ISBN: 978-3-031-64529-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics