OpenMath

see: http://wiki.openmath.org/