Sistema de álgebra computacional para cálculos rápidos na teoria dos números
