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 : Laurent Thery <>
Submitted on : Tuesday, February 6, 2007 - 2:05:44 PM
Last modification on : Thursday, February 14, 2019 - 3:36:01 PM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 9:50:36 PM

Files

Ell.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00129237, version 1

Citation

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

Share

Metrics

Record views

13

Files downloads

44