## 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