Axiom - The Scientific Computation System

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. The current volume set is here. A 600dpi djvu version of each volume may be found here.

The following forks of Axiom are also supported:

OpenAxiom (runs on NT)
FriCAS