| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
Proving the group law for elliptic curves formally
Abstract : This report presents a formal proof of the group law for elliptic cu rves done in Coq
Cited literature [1 references]
https://hal.inria.fr/inria-00129237
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, March 2, 2007 - 11:10:05 AM
Last modification on : Thursday, January 20, 2022 - 5:30:45 PM
Long-term archiving on: : Friday, September 24, 2010 - 10:11:23 AM
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, March 2, 2007 - 11:10:05 AM
Last modification on : Thursday, January 20, 2022 - 5:30:45 PM
Long-term archiving on: : Friday, September 24, 2010 - 10:11:23 AM
Files
RT-0330.pdf
Files produced by the author(s)