AXIOM

<language>

A commercially available subset of the Scratchpad, symbolic mathematics system from IBM.

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

[Relationship with AXIOM*?]

Last updated: 1995-02-21

axiom

<logic>

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

Compare: lemma.

Last updated: 1995-03-31

Nearby terms:

AWTaXeAXIOMaxiomAXIOM*Axiomatic Architecture Description Language

Try this search on Wikipedia, Wiktionary, Google, OneLook.



Not using Html Comment Box  yet?