A proposal for an openMath JSON encoding

Conference contribution
(Conference Contribution)


Publication Details

Author(s): Wiesing T, Kohlhase M
Publisher: CEUR-WS
Publication year: 2018
Volume: 2307
Conference Proceedings Title: Proceedings of the Joint 2018 Computer Mathematics in Education - Enlightenment or Incantation


FAU Authors / FAU Editors

Kohlhase, Michael Prof. Dr.
Professur für Wissensrepräsentation und -verarbeitung
Wiesing, Tom
Professur für Wissensrepräsentation und -verarbeitung


How to cite

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: 

Last updated on 2019-10-04 at 16:08