Pari/GP

Pari/GP is a computer algebra system with the main aim of facilitating number theory computations.