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

https://openmath.org

Home , OpenMath ,
OM Society , Meetings ,
Standards , Documents , CDs ,
Development , Projects , Software & Tools .
News , Follow & Contact us

Edit this page (HowTo)

permutation1: STS Unavailable

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

cycle
length
permutation
is_perm
support
perm
listperm
cycle_type
order
are_distinct
sign