@ARTICLE{Dryło_Robert_Simple_2020,
 author={Dryło, Robert and Kijko, Tomasz},
 volume={vol. 66},
 number={No 3},
 journal={International Journal of Electronics and Telecommunications},
 pages={459-464},
 howpublished={online},
 year={2020},
 publisher={Polish Academy of Sciences Committee of Electronics and Telecommunications},
 abstract={Daniel Bernstein and Tanja Lange [9] proved that two given addition formulas on twisted Edwards elliptic curves ax2 +y2 = 1+dxy are complete (i.e. the sum of any two points on a curve can be computed using one of these formulas). In this paper we give simple verification of completeness of these formulas using a program written in Magma, which is based on the fact that completeness means that some systems of polynomial equations have no solutions. This method may also be useful to verify completeness of additions formulas on other models of elliptic curves.},
 type={Article},
 title={Simple Verification of Completeness of Two Addition Formulas on Twisted Edwards Curves},
 URL={http://ochroma.man.poznan.pl/Content/115226/PDF/63_2571_Dry%C5%82o_L_skl.pdf},
 doi={10.24425/ijet.2020.131899},
 keywords={twisted Edwards curves, complete set of addition formulas, Gröbner bases},
}