Tom Wiesing, Michael Kohlhase. A Proposal for an OpenMath JSON Encoding. In Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács, editors, Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. Volume 2307 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
@inproceedings{WiesingK18,
title = {A Proposal for an OpenMath JSON Encoding},
author = {Tom Wiesing and Michael Kohlhase},
year = {2018},
url = {http://ceur-ws.org/Vol-2307/paper53.pdf},
researchr = {https://researchr.org/publication/WiesingK18},
cites = {0},
citedby = {0},
booktitle = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018},
editor = {Osman Hasan and Abdou Youssef and Adam Naumowicz and William M. Farmer and Cezary Kaliszyk and Diane Gallois-Wong and Florian Rabe and Gabriel Dos Reis and Grant O. Passmore and James H. Davenport and Markus Pfeiffer and Michael Kohlhase and Serge Autexier and Sofiène Tahar and Thomas Koprucki and Umair Siddique and Walther Neuper and Wolfgang Windsteiger and Wolfgang Schreiner and Wolfram Sperber and Zoltán Kovács},
volume = {2307},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}