A String of Pearls: Proofs of Fermat’s Little Theorem

DOI10.1007/978-3-642-35308-6_16zbMath1383.68072OpenAlexW2175234519MaRDI QIDQ4916061

Michael Norrish, Hing-Lun Chan

Publication date: 19 April 2013

Published in: Certified Programs and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35308-6_16

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Congruences; primitive roots; residue systems (11A07)

Related Items (2)

Classification of finite fields with applications ⋮ A String of Pearls: Proofs of Fermat's Little Theorem

This page was built for publication: A String of Pearls: Proofs of Fermat’s Little Theorem