PARI/GP ist ein Computeralgebrasystem für Zahlentheorie.