Henk Barendregt
Erik Barendsen
2002
Autarchic Computations in Formal Proofs
Journal of Automated Reasoning
28
321–336
10.1023/A:1015761529444
Daniel J. Bernstein
2006
Curve25519: New Diffie-Hellman Speed Records
9th International Conference on Theory and Practice of Public Key Cryptography
Springer
207–228
10.1007/11745853_14
Daniel J. Bernstein
Tanja Lange
2011
A Complete Set of Addition Laws for Incomplete Edwards Curves
Journal of Number Theory
131
858–872
10.1016/j.jnt.2010.06.015
Stefan Friedl
1998
An Elementary Proof of the Group Law for Elliptic Curve
Benjamin Gregoire
Assia Mahboubi
2005
Proving Equalities in a Commutative Ring Done Right in Coq
Proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics
Springer-Verlag
98–113
10.1007/11541868_7
Henri Poincaré
1901
Sur les Propriétés Arithmetiques des Courbes Algébriques
Lournalde Mathématiques Pures et Appliuées
7
121–233
Vaughn Pratt
1975
Every Prime Has a Succinct Certification
SIAM Journal on Computing
4
10.1137/0204018
David M. Russinoff
Polynomial Terms and Sparse Horner Normal Form
http://www.russinoff.com/papers/shnf.pdf
David M. Russinoff
Pratt Certification and the Primality of 2^255-19
http://www.russinoff.com/papers/pratt.pdf
Joseph H. Silverman
John T. Tate
2015
Rational Points on Elliptic Curves
Springer-Verlag
10.1007/978-3-319-18588-0
Laurent Théry
2007
Proving the Group Law for Elliptic Curves Formally
Technical Report
RT-0330
Inria
Thomas Tymoczko
1998
Computers and Mathematical Practice: A Case Study
Princeton University Press