AXIOM

A commercially available subset of Scratchpad, from IBM.

["Axiom - The Scientific Computing System", R. Jenks et al, Springer 1992].

(21 Feb 1995)

axiom

<logic> A well-formed formula which is taken to be true without proof in the construction of a theory.

(31 Mar 1995)

AXIOM*

A symbolic mathematics system.

A# is one component of AXIOM*.

Version: 2.

(21 Feb 1995)