Axiom
Summary
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.
Authors
Tim Daly, et al.
Vendor
Axiom is Open Source. Please visit http://axiom-developer.org
Status
officially approved by the authors