Proving the group law for elliptic curves formally

Laurent Théry 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 : jeudi 14 février 2019 - 15:36:01
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 Théry. Proving the group law for elliptic curves formally. [Technical Report] RT-0311, 2007, pp.16. 〈inria-00129237v2〉

Partager

Métriques

Consultations de la notice

15

Téléchargements de fichiers

16