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
Type de document :
Rapport
[Technical Report] RT-0311, 2007, pp.16
Liste complète des métadonnées

https://hal.inria.fr/inria-00129237
Contributeur : Rapport de Recherche Inria <>
Soumis le : jeudi 8 février 2007 - 16:40:25
Dernière modification le : vendredi 6 février 2015 - 12:13:50
Document(s) archivé(s) le : mardi 21 septembre 2010 - 12:37:40

Fichiers

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

Identifiants

  • HAL Id : inria-00129237, version 2

Collections

Citation

Laurent Thery. Proving the group law for elliptic curves formally. [Technical Report] RT-0311, 2007, pp.16. 〈inria-00129237v2〉

Partager

Métriques

Consultations de
la notice

11

Téléchargements du document

14