All prime numbers have primitive roots

DOI10.4204/EPTCS.359.3MaRDI QIDQ6659918zbMATH OpenFDO

Authors Ruben A. Gamboa, Woodrow Gamboa

Publication date 9 January 2025

Full work available at URL https://doi.org/10.4204/EPTCS.359.3

Mathematics Subject Classification ID

Primes (11A41) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Primitive roots: a survey
• Computing primitive roots according to Artin's conjecture
• scientific article; zbMATH DE number 3916350
• A prime primitive root \(p\) of \(2p + 1\) is a Sophie Germain prime
• scientific article; zbMATH DE number 3916351

This page was built for publication: All prime numbers have primitive roots

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659918)