OpenMath is an extensible standard for representing the semantics of mathematical objects.
OpenMath is an extensible standard for representing the semantics of mathematical objects.
OpenMath does not mandate a type system. This directory contains type signatures for some OpenMath content dictionaries.
The signatures here use the OpenMath Small Type System