2 papers
math.NT2024
L-values of elliptic curves twisted by cubic characters
David Kurniadi Angdinata
Given a rational elliptic curve of analytic rank zero, its L-function can be twisted by an even primitive Dirichlet character of order , and in many cases its assoc…
cs.LO2023
An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in any Characteristic
David Kurniadi Angdinata, Junyan Xu
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…