OpenMath Signatures

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

Date:  1999-04-13
Author: David Carlisle
Revised by : N. Hur on 2000-02-02

zero

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMV name="AbelianMonoid"/>
</OMOBJ>

Content Dictionary Entry.

one

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
 <OMV name="Monoid"/>
</OMOBJ>

Content Dictionary Entry.