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.
Tim Daly, et al.
Axiom is Open Source. Please visit http://axiom-developer.org