[Om] Proposal for Extending OpenMath Standard with a JSON Encoding

[James Davenport]

Looks good - I don’t know enough JSON to comment on the technical details. There’s some editorial work that needs doing - Appendix H is increasingly inappropriately titled!
James

Sent from my iPhone

On 8 Jul 2019, at 09:08, Tom Wiesing <tom.wiesing at fau.de<mailto:tom.wiesing at fau.de>> wrote:

Dear all,

Me and Michael would like to propose an extension of the OpenMath standard to endorse an OpenMath JSON Encoding. We have made a pull request at [0] and attached a diffed pdf.

JSON is a lightweight data-interchange format used heavily in the Web Applications area. Adding a JSON Encoding thus contributes to making OpenMath web-interoperable. The source code for a validator of this proposed encoding, as well as a translator from/to the XML encoding can be found at [1]. It is also accessible via API at [2].

We presented this encoding during the OpenMath workshop at CICM 2018 (see [3] and [4]), however we were only able to make a concrete standard proposal until now. We are hoping to discuss this during the upcoming OpenMath workshop at CICM 2019 next week, however wanted to send out our proposal beforehand.

Greetings,
Tom

[0] https://github.com/OpenMath/OMSTD/pull/69
[1] https://github.com/tkw1536/OpenMath-JSON
[2] https://omjson.openmath.org
[3] http://ceur-ws.org/Vol-2307/paper53.pdf
[4] https://www.cicm-conference.org/2018/slides/OpMa2.pdf
_______________________________________________
Om mailing list
Om at openmath.org<mailto:Om at openmath.org>
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om
<omstd20-diff.pdf>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om/attachments/20190708/9ee75e2c/attachment.html>