Um sistema de álgebra computacional para cálculos na teoria dos números
