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: