Proving the group law for elliptic curves formally

Reports (Technical Report) Year : 2007

(1)

Laurent Théry

Mathematical, Reasoning and Software

This report presents a formal proof of the group law for elliptic cu rves done in Coq

formal proof elliptic curves group law

Logic in Computer Science [cs.LO]

Fichier principal

RT-0330.pdf (208.49 Ko)

Origin : Files produced by the author(s)

https://inria.hal.science/inria-00129237

Submitted on : Friday, March 2, 2007-11:10:05 AM

Last modification on : Wednesday, March 15, 2023-8:58:09 AM

Long-term archiving on: Friday, September 24, 2010-10:11:23 AM

inria-00129237 , version 1 (06-02-2007)

inria-00129237 , version 2 (08-02-2007)

inria-00129237 , version 3 (01-03-2007)

inria-00129237 , version 4 (02-03-2007)

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

INRIA INRIA-RRRT INRIA2 LARA

624 View

476 Download