Wiesing T, Kohlhase M (2018)
Publication Status: Published
Publication Type: Conference contribution, Conference Contribution
Publication year: 2018
Publisher: CEUR-WS
Book Volume: 2307
Conference Proceedings Title: Proceedings of the Joint 2018 Computer Mathematics in Education - Enlightenment or Incantation
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-85060579045∨igin=inward
APA:
Wiesing, T., & Kohlhase, M. (2018). A proposal for an openMath JSON encoding. In Proceedings of the Joint 2018 Computer Mathematics in Education - Enlightenment or Incantation. CEUR-WS.
MLA:
Wiesing, Tom, and Michael Kohlhase. "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