OpenMath Signatures


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



intervalType

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

Content Dictionary Entry.


[First: ] [Last: ] [Top]


integerIntervalType

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

Content Dictionary Entry.


[First: ] [Last: ] [Top]


rationalIntervalType

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

Content Dictionary Entry.


[First: ] [Last: ] [Top]


algebraicIntervalType

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

Content Dictionary Entry.


[First: ] [Last: ] [Top]


realIntervalType

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

Content Dictionary Entry.


[First: ] [Last: ] [Top]