OpenMath

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

https://openmath.github.io

OpenMath Signatures

Type System: sts
Content Dictionary: aggregate_cats
CD Signature File: aggregate_cats.sts

aggregateType 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

multisetType 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

setType 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

finiteSetType 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

infiniteSetType 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

continuousSetType 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

piecewiseContinuousSetType 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

non-continuousSetType 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

discreteSetType 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]