inria-00129237, version 4

Proving the group law for elliptic curves formally

Laurent Thery () ¹

N° RT-0330 (2007)

• 1:  MARELLE (INRIA Sophia Antipolis)
• INRIA

• Domain : Computer Science/Logic in Computer Science
• Keywords : formal proof – elliptic curves – group law
• Internal note : 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
• oai:hal.inria.fr:inria-00129237
• From: Rapport De Recherche Inria <>
• Submitted on: Friday, 2 March 2007 11:10:05
• Updated on: Thursday, 2 October 2008 16:18:19