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.