Pari

A language for symbolic mathematics, especially number theory.