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 following forks of Axiom are also supported:

OpenAxiom (runs on NT)
FriCAS