inria-00129237, version 4

Proving the group law for elliptic curves formally

Laurent Thery () ¹

N° RT-0330 (2007)

• 1 :  MARELLE (INRIA Sophia Antipolis)
• INRIA

• Domaine : Informatique/Logique en informatique
• Mots-clés : formal proof – elliptic curves – group law
• Référence interne : RT-0330
• Versions disponibles :  v1 (07-02-2007) v2 (08-02-2007) v3 (01-03-2007) v4 (02-03-2007)

• inria-00129237, version 4
• http://hal.inria.fr/inria-00129237
• oai:hal.inria.fr:inria-00129237
• Contributeur : Rapport De Recherche Inria <>
• Soumis le : Vendredi 2 Mars 2007, 11:10:05
• Dernière modification le : Jeudi 2 Octobre 2008, 16:18:19