Primality Proving with Elliptic Curves
From MaRDI portal
Publication:3523185
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
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