PARI/GP - система комп'ютерної алгебри, призначена для обчислень в теорії чисел
