Primality Tests and Prime Certificate - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year :

Primality Tests and Prime Certificate

Abstract

This note presents a formalisation done in Coq of Lucas-Lehmer test and Pocklington certificate for prime numbers. They both are direct consequences of Fermat little theorem. Fermat little theorem is proved using elementary group theory and in particular Lagrange theorem.
Fichier principal
Vignette du fichier
Note.pdf (123.35 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03601611 , version 1 (08-03-2022)

Identifiers

Cite

Laurent Théry. Primality Tests and Prime Certificate. 2022. ⟨hal-03601611⟩
51 View
37 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More