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
Document type :
Reports
[Technical Report] RT-0330, INRIA. 2007, pp.16
Liste complète des métadonnées


https://hal.inria.fr/inria-00129237
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, March 2, 2007 - 11:10:05 AM
Last modification on : Saturday, September 17, 2016 - 1:36:53 AM
Document(s) archivé(s) le : Friday, September 24, 2010 - 10:11:23 AM

Files

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

Identifiers

  • HAL Id : inria-00129237, version 4

Collections

Citation

Laurent Thery. Proving the group law for elliptic curves formally. [Technical Report] RT-0330, INRIA. 2007, pp.16. <inria-00129237v4>

Share

Metrics

Record views

463

Document downloads

249