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

OpenMath CD Group: Sets

Version: 1

CDs which describe operations on sets and their names

set1
set2
setname1
setname2