Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler.
The following (external) links point to sites providing comprehensive information and documentation:
Axiom Home Page
Wikipedia article
Wikipedia (German version)
Axiom Wiki
Axiom Portal
Aldor
We provide a coloured online version of the axbook
that is part of the Axiom software distribution.
The Axiom system is gradually being documented in a set of volumes. These change with every update to the system since they contain the actual system source code. The volumes listed here are updated every other month when the system is distributed. A 600dpi djvu version1) of each volume may be found here.