Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves.

Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen

Browse the full CPP paper archive.