@article{oai:soar-ir.repo.nii.ac.jp:02001208,
 author = {Futa, Yuichi and Okazaki, Hiroyuki and Shidama, Yasunari},
 issue = {3},
 journal = {FORMALIZED MATHEMATICS},
 month = {Feb},
 note = {In this article, we formalize in Mizar a binary operationof points on an elliptic curve overGF(p) in affine coordinates. We show that theoperation is unital, complementable and commutative. Elliptic curve cryptogra-phy, whose security is based on a difficulty of discrete logarithm problem ofelliptic curves, is important for information security., Article, FORMALIZED MATHEMATICS 27(3) : 315-320(2020)},
 pages = {315--320},
 title = {Operations of Points on Elliptic Curve in Affine Coordinates},
 volume = {27},
 year = {2020}
}