Abstract Laurent Théry <title> </head> <body> <a href=" http://www-sop.inria.fr/everest/seminar/index.php"><-- Back to the seminar list</a> <h1> Proving Primality with Elliptic Curve </h1> <h2>  <a href="http://www-sop.inria.fr/marelle/personnel/Laurent.Thery/me.html"> Laurent Théry </a> </h2> <h2>  Project Marelle, INRIA Sophia Antipolis </h2> <h3> 29 Mars 2007, 14h30, Fermat Jaune </h3> <table><tr><td valign="top"> <p> <img src="2007-03-29-sem-thery-photo.jpg" align="left">  </p> </td><td valign="top"> <p> <b>Abstract:</b> </p> <p>  Elliptic curves are fascinating mathematical objects. In this talk, we show how they have been formalised inside Coq and how this formalisation gives a very effective way of proving primality inside Coq. </p> <p>  </p></td></tr></table> </body> </html>