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
Complete list of metadatas

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/inria-00129237
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, March 2, 2007 - 11:10:05 AM
Last modification on : Friday, February 15, 2019 - 1:22:29 AM
Long-term archiving on : 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 Théry. Proving the group law for elliptic curves formally. [Technical Report] RT-0330, INRIA. 2007, pp.16. ⟨inria-00129237v4⟩

Share

Metrics

Record views

665

Files downloads

392