Proving the group law for elliptic curves formally

Laurent Thery 1
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : This report presents a formal proof of the group law for elliptic cu rves done in Coq
Keywords : formal proof elliptic curves group law
Type de document :
Rapport
[Technical Report] RT-0330, INRIA. 2007, pp.16
Liste complète des métadonnées

https://hal.inria.fr/inria-00129237
Contributeur : Rapport de Recherche Inria <>
Soumis le : vendredi 2 mars 2007 - 11:10:05
Dernière modification le : samedi 17 septembre 2016 - 01:36:53
Document(s) archivé(s) le : vendredi 24 septembre 2010 - 10:11:23

Fichiers

RT-0330.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00129237, version 4

Collections

INRIA | INRIA-RRRT | LARA

Citation

Laurent Thery. Proving the group law for elliptic curves formally. [Technical Report] RT-0330, INRIA. 2007, pp.16. <inria-00129237v4>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

473

Téléchargements du document

252

Contact


archive-ouverte@inria.fr