
Table of contents
canonicalOrder -
the axiom of canonically ordered sets
canonicalRep - the
axiom of canonically representation
canonicalUnitNormal -
the axiom of canonically unit normals
closedUnitNormals - the
axiom of closed unit normals
efficientOperation - the
axiom of efficient operations
normalRep - the axiom
of normal representation
noZeroDivisors -
the axiom of rng's with no zero divisor
systemRep - the axiom
of facade domains
Do you have
questions or comments?
Copyright © SciFace Software GmbH & Co. KG
2000