PARI / GP sayı teorisi hesaplamaları için tasarlanmış bir bilgisayar cebir sistemi
