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.