axiom
Axiom is a general purpose Computer Algebra application. It is useful for doing general mathematics by computer and for research and development of mathematical algorithms. The Axiom Language provides a very high level way to express abstract mathematical concepts that are collected in the Axiom Library which defines over 1,000 strongly-typed mathematical domains and categories.

There are two forks of Axiom with slightly different goals and development policies:

See also: