[Om] JSON Binding for OpenMath?

Michael Kohlhase michael.kohlhase at fau.de
Wed May 2 08:57:02 CEST 2018

Dear all,

we have come across the need to communicate OpenMath Objects to JavaScript.

We could go traditional and send over XML and have JS parse that into JS
Objects, or we could use a JSON binding for OpenMath.

It actually seems that Nathan Carter has already done something very
much like that.  [1]

Would it make sense to standardize a JSON binding of OpenMath? After
all, JSON is one of the practical competitors for XML and used A LOT on
the web.


[1] https://lurchmath.github.io/openmath-js/site/

Prof. Dr. Michael Kohlhase,  http://kwarc.info/kohlhase, skype: mibein42

Professur für Wissensrepräsentation & -verarbeitung
  Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139,
  tel/fax: (49) 9131-85-64052/55, michael.kohlhase at fau.de 

More information about the Om mailing list