PARI/GP est un système de calcul formel conçu pour la théorie des nombres.
