OpenMath Signatures


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



BernoulliNumber

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

Content Dictionary Entry.


[Next: BernoulliPolynomial] [Last: ReimannZeta] [Top]


BernoulliPolynomial

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMS cd="setname1" name="Z"/>
    <OMV name="Expression"/>
    <OMV name="Polynomial"/>
  </OMA>
</OMOBJ>
( Z Expression >> Polynomial )

Content Dictionary Entry.


[Next: Dawson] [Previous: BernoulliNumber] [Top]


Dawson

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="NumberSystem" cd="sts"/>
    <OMV name="NumberSystem" cd="sts"/>
  </OMA>
</OMOBJ>
( NumberSystem >> NumberSystem )

Content Dictionary Entry.


[Next: eulerNumber] [Previous: BernoulliPolynomial] [Top]


eulerNumber

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

Content Dictionary Entry.


[Next: eulerPolynomial] [Previous: Dawson] [Top]


eulerPolynomial

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMS cd="setname1" name="Z"/>
    <OMV name="Expression"/>
    <OMV name="Polynomial"/>
  </OMA>
</OMOBJ>
( Z Expression >> Polynomial )

Content Dictionary Entry.


[Next: GaussAGM] [Previous: eulerNumber] [Top]


GaussAGM

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMS cd="setname1" name="Z"/>
    <OMS cd="setname1" name="Z"/>
    <OMS cd="setname2" name="A"/>
  </OMA>
</OMOBJ>
( Z Z >> A )

Content Dictionary Entry.


[Next: harmonic] [Previous: eulerPolynomial] [Top]


harmonic

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="NumberSystem" cd="sts"/>
    <OMV name="NumberSystem" cd="sts"/>
  </OMA>
</OMOBJ>
( NumberSystem >> NumberSystem )

Content Dictionary Entry.


[Next: lambertW] [Previous: GaussAGM] [Top]


lambertW

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="NumberSystem" cd="sts"/>
    <OMV name="NumberSystem" cd="sts"/>
  </OMA>
</OMOBJ>
( NumberSystem >> NumberSystem )

Content Dictionary Entry.


[Next: lambertWi] [Previous: harmonic] [Top]


lambertWi

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMS cd="setname1" name="Z"/>
    <OMV name="NumberSystem" cd="sts"/>
    <OMV name="NumberSystem" cd="sts"/>
  </OMA>
</OMOBJ>
( Z NumberSystem >> NumberSystem )

Content Dictionary Entry.


[Next: MeijerG] [Previous: lambertW] [Top]


MeijerG

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <!-- first list of lists -->
    <OMA>
      <OMS cd="list1" name="map"/>
      <OMBIND> <!-- nullary function -->
      </OMBIND>
      <OMA>
        <OMS cd="list1" name="map"/>
        <OMBIND>
        </OMBIND>
        <OMV name="NumberSystem"/>
      </OMA>
    </OMA>
    <!-- second list of lists -->
    <OMA>
      <OMS cd="list1" name="map"/>
      <OMBIND> <!-- nullary function -->
      </OMBIND>
      <OMA>
        <OMS cd="list1" name="map"/>
        <OMBIND>
        </OMBIND>
        <OMV name="NumberSystem"/>
      </OMA>
    </OMA>
    <OMV name="Expression"/>
    <OMV name="Expression"/>
  </OMA>
</OMOBJ>
( map map NumberSystem map map NumberSystem Expression >> Expression )

Content Dictionary Entry.


[Next: ReimannZeta] [Previous: lambertWi] [Top]


ReimannZeta

<OMOBJ>
  <OMA>
    <OMS name="mapsto" cd="sts"/>
    <OMV name="NumberSystem"/>
    <OMV name="NumberSystem"/>
  </OMA>
</OMOBJ>
( NumberSystem >> NumberSystem )

Content Dictionary Entry.


[First: BernoulliNumber] [Previous: MeijerG] [Top]