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.
Cost / License
- Free
- Open Source
Platforms
- Mac
- Linux
Best alternatives are 
Wolfram Alpha
39 alternativesWolfram Alpha