Primality Proving with Elliptic Curves

DOI10.1007/978-3-540-74591-4_24zbMath1144.68367OpenAlexW1769410258MaRDI QIDQ3523185

Guillaume Hanrot, Laurent Théry

Publication date: 2 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74591-4_24

Mathematics Subject Classification ID

Primality (11Y11)

Related Items

Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec, Formal Proof of the Group Law for Edwards Elliptic Curves, Formalizing an analytic proof of the prime number theorem, An elementary proof of the group law for elliptic curves, Proof Pearl: Revisiting the Mini-rubik in Coq, Space of valuations, Classification of finite fields with applications

Uses Software

• CoCoA
• Coq