@article{oai:soar-ir.repo.nii.ac.jp:00011443,
 author = {Futa,  Yuichi and Okazaki,  Hiroyuki and Shidama,  Yasunari},
 issue = {2},
 journal = {JOURNAL OF AUTOMATED REASONING},
 month = {Feb},
 note = {In this paper, we introduce our formalization of the definitions and theorems related to an elliptic curve over a finite prime field. The elliptic curve is important in an elliptic curve cryptosystem whose security is based on the computational complexity of the elliptic curve discrete logarithm problem., Article, JOURNAL OF AUTOMATED REASONING. 50(2):161-172 (2013)},
 pages = {161--172},
 title = {Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar},
 volume = {50},
 year = {2013}
}