OpenMath Signatures


Type System: sts
Content Dictionary: kelvin
CD Signature File: kelvin.sts
CD Signature as XML Encoded OpenMath: kelvin.omsts



KelvinBer

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="R" cd="setname1"/>
   <OMS name="R" cd="setname1"/>
   <OMS name="R" cd="setname1"/>
 </OMA>
</OMOBJ>
( R R >> R )

Content Dictionary Entry.


[Next: KelvinBei] [Last: KelvinHei] [Top]


KelvinBei

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="R" cd="setname1"/>
   <OMS name="R" cd="setname1"/>
   <OMS name="R" cd="setname1"/>
 </OMA>
</OMOBJ>
( R R >> R )

Content Dictionary Entry.


[Next: KelvinKer] [Previous: KelvinBer] [Top]


KelvinKer

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="R" cd="setname1"/>
   <OMS name="R" cd="setname1"/>
   <OMS name="R" cd="setname1"/>
 </OMA>
</OMOBJ>
( R R >> R )

Content Dictionary Entry.


[Next: KelvinKei] [Previous: KelvinBei] [Top]


KelvinKei

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="R" cd="setname1"/>
   <OMS name="R" cd="setname1"/>
   <OMS name="R" cd="setname1"/>
 </OMA>
</OMOBJ>
( R R >> R )

Content Dictionary Entry.


[Next: KelvinHer] [Previous: KelvinKer] [Top]


KelvinHer

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="R" cd="setname1"/>
   <OMS name="R" cd="setname1"/>
   <OMS name="R" cd="setname1"/>
 </OMA>
</OMOBJ>
( R R >> R )

Content Dictionary Entry.


[Next: KelvinHei] [Previous: KelvinKei] [Top]


KelvinHei

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMS name="R" cd="setname1"/>
   <OMS name="R" cd="setname1"/>
   <OMS name="R" cd="setname1"/>
 </OMA>
</OMOBJ>
( R R >> R )

Content Dictionary Entry.


[First: KelvinBer] [Previous: KelvinHer] [Top]