Axiom

A general purpose Computer Algebra system 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.