PARI / GP là một hệ thống đại số máy tính được thiết kế cho các tính toán trong lý thuyết số
