David Kurniadi Angdinata

An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in any Characteristic

2023 · arXiv (Cornell University)

Elliptic curves are fundamental objects in number theory and algebraic geometry, whose points over a field form an abelian group under a geometric addition law. Any elliptic curve over a field admits a Weierstrass model, …