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

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⟩
106 View
63 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More