Proving the group law for elliptic curves formally - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport Technique) Année : 2007

Proving the group law for elliptic curves formally

Laurent Théry

Résumé

This report presents a formal proof of the group law for elliptic cu rves done in Coq
Fichier principal
Vignette du fichier
Ell.pdf (210.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00129237 , version 1 (06-02-2007)
inria-00129237 , version 2 (08-02-2007)
inria-00129237 , version 3 (01-03-2007)
inria-00129237 , version 4 (02-03-2007)

Identifiants

  • HAL Id : inria-00129237 , version 1

Citer

Laurent Théry. Proving the group law for elliptic curves formally. [Technical Report] 2007, pp.16. ⟨inria-00129237v1⟩
624 Consultations
476 Téléchargements

Partager

Gmail Facebook X LinkedIn More