@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}
}