Proving the group law for elliptic curves formally

Rapport (Rapport Technique) Année : 2007

(1)

Laurent Théry

Mathematical, Reasoning and Software

This report presents a formal proof of the group law for elliptic cu rves done in Coq

formal proof elliptic curves group law

Logique en informatique [cs.LO]

Fichier principal

RT-0330.pdf (208.49 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/inria-00129237

Soumis le : vendredi 2 mars 2007-11:10:05

Dernière modification le : mercredi 15 mars 2023-08:58:09

Archivage à long terme le : vendredi 24 septembre 2010-10:11:23

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)

Laurent Théry. Proving the group law for elliptic curves formally. [Technical Report] RT-0330, INRIA. 2007, pp.16. ⟨inria-00129237v4⟩

INRIA INRIA-RRRT INRIA2 LARA

624 Consultations

476 Téléchargements