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