7 ms·

I am not a mathematician. But there is also a JSON representation [0] besides XML. As an exchange format between pieces of software, isn't it usable? [0] htt

I am not a mathematician. But there is also a JSON representation [0] besides XML. As an exchange format between pieces of software, isn't it usable? [0] https://www.openmath.org/standard/om20-2019-07-01/omstd20.html#sec_json-the-json-encoding https://www.openmath.org/standard/om20-2019-07-01/omstd20.ht...

Tainnor 6y ago
No, that is just as bad. It's not about them using XML, it's about incorporating the worst aspects of XML culture by making everything overly abstract and unreadable. This problem persists in the JSON representation. I agree with the other comment that it would have been better to look at e.g. theorem provers or maybe even at something like Mathematica.