Set of Points on Elliptic Curve in Projective Coordinates
From MaRDI portal
Publication:2865742
DOI10.2478/v10037-011-0021-6zbMath1276.11090OpenAlexW2044023466MaRDI QIDQ2865742
Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
Publication date: 3 December 2013
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/v10037-011-0021-6
Related Items
Characteristic of rings. Prime fields, Formalization of definitions and theorems related to an elliptic curve over a finite prime field by using Mizar, Gaussian integers, Operations of points on elliptic curve in affine coordinates, Continuity of bounded linear operators on normed linear spaces, Topological properties of real normed space, Operations of Points on Elliptic Curve in Projective Coordinates
Cites Work
