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

From MaRDI portal

Publication:6427167

Jump to:navigation, search

arXiv2302.10640MaRDI QIDQ6427167

Junyan Xu, David Kurniadi Angdinata

Publication date: 21 February 2023

Mathematics Subject Classification ID

Elliptic curves (14H52) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in any Characteristic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6427167&oldid=36097241"