 |
 |
|
|
| inria-00129237, version 4 |
 |
|
|
|
| See detailed view |  BibTeX EndNote TEI RefWorks |
|
|
|||||||||
|
| This report presents a formal proof of the group law for elliptic cu rves done in Coq |
|
|
|
|
|
|
|
|
|
| 1: | MARELLE (INRIA Sophia Antipolis) |
|
INRIA |
|
|
|
|
|
|
|
|
|
| Domain | : | Computer Science/Logic in Computer Science |
| formal proof – elliptic curves – group law |
| RT-0330 |
| Available versions: | v1 (2007-02-07) | v2 (2007-02-08) | v3 (2007-03-01) | v4 (2007-03-02) |
| inria-00129237, version 4 | |
| http://hal.inria.fr/inria-00129237/en/ | |
| oai:hal.inria.fr:inria-00129237_v4 | |
| From: Rapport De Recherche Inria | |
| Submitted on: Friday, 2 March 2007 11:10:05 | |
| Updated on: Thursday, 2 October 2008 16:18:19 | |
