| 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 <>
Submitted on : Friday, March 2, 2007 - 11:10:05 AM
Last modification on : Wednesday, January 8, 2020 - 11:04:18 AM
Document(s) archivé(s) le : Friday, September 24, 2010 - 10:11:23 AM
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, March 2, 2007 - 11:10:05 AM
Last modification on : Wednesday, January 8, 2020 - 11:04:18 AM
Document(s) archivé(s) le : Friday, September 24, 2010 - 10:11:23 AM
Files
RT-0330.pdf
Files produced by the author(s)