An elementary linear-algebraic proof without computer-aided arguments for the group law on elliptic curves

DOI10.1142/S2661335221500015zbMath1497.14057arXiv2008.05705OpenAlexW3172163679WikidataQ114847083 ScholiaQ114847083MaRDI QIDQ5042554

Koji Nuida

Publication date: 20 October 2022

Published in: International Journal of Mathematics for Industry (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2008.05705

zbMATH Keywords

elliptic curvesgroup lawelementary proof

Mathematics Subject Classification ID

Elliptic curves (14H52) Applications to coding theory and cryptography of arithmetic geometry (14G50)

Uses Software

• ACL2

Cites Work

• An elementary proof of the group law for elliptic curves
• Elliptic Curve Cryptosystems
• Rational Points on Elliptic Curves
• Lefschetz's Principle and Local Functors
• Unnamed Item
• Unnamed Item

This page was built for publication: An elementary linear-algebraic proof without computer-aided arguments for the group law on elliptic curves