Formalization of definitions and theorems related to an elliptic curve over a finite prime field by using Mizar

DOI10.1007/s10817-012-9265-2zbMath1260.68371OpenAlexW2013519368MaRDI QIDQ1945911

Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama

Publication date: 17 April 2013

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-012-9265-2

zbMATH Keywords

elliptic curveprime field\texttt{Mizar}projective coordinate

Mathematics Subject Classification ID

Algebraic coding theory; cryptography (number-theoretic aspects) (11T71) Cryptography (94A60) Number-theoretic algorithms; complexity (11Y16)

Related Items

Mizar: State-of-the-art and Beyond ⋮ Classification of finite fields with applications

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Set of Points on Elliptic Curve in Projective Coordinates