Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

Anne Baanen, Alex J. Best, Nirvana Coppola +1

Diophantine equations are a popular and active area of research in number theory. In this paper we consider Mordell equations, which are of the form $y^2=x^3+d$, where $d$ is a (gi…