TY  - RPRT
TI  - Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
AU  - Anne Baanen
AU  - Alex J. Best
AU  - Nirvana Coppola
AU  - Sander R. Dahmen
PY  - 2022
DO  - 10.1145/3573105.3575682
UR  - https://arxiv.org/abs/2209.15492
ID  - 2209.15492
ER  -