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
Document type :
Reports
Liste complète des métadonnées

https://hal.inria.fr/inria-00129237
Contributor : Rapport de Recherche Inria <>
Submitted on : Thursday, March 1, 2007 - 3:44:36 PM
Last modification on : Thursday, February 14, 2019 - 3:36:01 PM
Document(s) archivé(s) le : Thursday, September 23, 2010 - 3:39:52 PM

Files

RT-0313.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00129237, version 3

Collections

Citation

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

Share

Metrics

Record views

13

Files downloads

13