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

Littérature citée [1 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00129237
Contributeur : Rapport de Recherche Inria <>
Soumis le : vendredi 2 mars 2007 - 11:10:05
Dernière modification le : jeudi 11 janvier 2018 - 16:30:57
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 | UNIV-COTEDAZUR

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

598

Téléchargements de fichiers

301

Contact


archive-ouverte@inria.fr