A proposal for an OpenMath JSON encoding

Kohlhase M, Wiesing T (2018)


Publication Status: Published

Publication Type: Conference contribution, Conference Contribution

Publication year: 2018

Publisher: CEUR-WS

Book Volume: 2307

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-85060579045&origin=inward

Authors with CRIS profile

How to cite

APA:

Kohlhase, M., & Wiesing, T. (2018). A proposal for an OpenMath JSON encoding. In Proceedings of the Joint 2018 Computer Mathematics in Education - Enlightenment or Incantation, CME-EI 2018, Formal Mathematics for Mathematicians, FMM 2018, Computer Algebra in the Age of Types, CAAT 2018, Formal Verification of Physical Systems, FVPS 2018, Mathematical Models and Mathematical Software as Research Data 2018, M3SRD 2018 and 29th OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS 2018. CEUR-WS.

MLA:

Kohlhase, Michael, and Tom Wiesing. "A proposal for an OpenMath JSON encoding." Proceedings of the Joint 2018 Computer Mathematics in Education - Enlightenment or Incantation, CME-EI 2018, Formal Mathematics for Mathematicians, FMM 2018, Computer Algebra in the Age of Types, CAAT 2018, Formal Verification of Physical Systems, FVPS 2018, Mathematical Models and Mathematical Software as Research Data 2018, M3SRD 2018 and 29th OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS 2018 CEUR-WS, 2018.

BibTeX: Download