Cargando…
Formal Proof of the Group Law for Edwards Elliptic Curves
This article gives an elementary computational proof of the group law for Edwards elliptic curves. The associative law is expressed as a polynomial identity over the integers that is directly checked by polynomial division. Unlike other proofs, no preliminaries such as intersection numbers, Bézout’s...
Autores principales: | Hales, Thomas, Raya, Rodrigo |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324045/ http://dx.doi.org/10.1007/978-3-030-51054-1_15 |
Ejemplares similares
-
Elliptic polylogarithms and iterated integrals on elliptic curves I: general formalism
por: Broedel, Johannes, et al.
Publicado: (2017) -
Dense sphere packings: a blueprint for formal proofs
por: Hales, Thomas
Publicado: (2012) -
Elliptic functions and elliptic curves
por: Du Val, Patrick
Publicado: (1973) -
Elliptic curves
por: Husemöller, Dale
Publicado: (1987) -
Elliptic curves
por: Husemöller, Dale
Publicado: (2004)