Valadares, D.; Ribas, S. Testes Determinísticos De Primalidade. RMAT 2025, 1.