OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
OpenMath provides extensible standards for representing the semantics of mathematicalobjects and communicating them between software systems.
Read more … aboutOpenMath and theOpenMath Society