PARI/GP is a specialized computer algebra system, primarily aimed at
number theorists, but has been put to good use in many other different
fields, from topology or numerical analysis to physics.