OpenMath

OpenMath is an extensible standard for representing the semantics of mathematical objects.

https://openmath.org

polynomial3: STS Unavailable

polynomial3 defines the following Names, but STS signatures are not currently available.