ПАРІ / GP є система комп'ютерної алгебри призначений для обчислень в теорії чисел
