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

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

Published in: CoRR (2022)

Keyphrases

elliptic curve
feature points
point sets
efficient computation
real time
data points
dimensionality reduction