@article{cassels1962,
  author = {Cassels, J. W. S.},
  title = {Arithmetic on Curves of Genus 1. IV. Proof of the Hauptvermutung},
  journal = {Journal für die reine und angewandte Mathematik},
  volume = {211},
  pages = {95--112},
  year = {1962}
}

@article{faltings1983,
  author = {Faltings, Gerd},
  title = {Endlichkeitssätze für abelsche Varietäten über Zahlkörpern},
  journal = {Inventiones Mathematicae},
  volume = {73},
  pages = {349--366},
  year = {1983}
}

@inproceedings{lean4,
  author    = {Leonardo de Moura and Sebastian Ullrich},
  title     = {The Lean 4 Programming Language and Theorem Prover},
  booktitle = {International Conference on Automated Deduction},
  pages     = {625--635},
  year      = {2021},
  publisher = {Springer}
}

@article{lll1982,
  author = {Lenstra, Arjen K. and Lenstra, Hendrik W. and Lovász, László},
  title = {Factoring polynomials with rational coefficients},
  journal = {Mathematische Annalen},
  volume = {261},
  pages = {515--534},
  year = {1982}
}

@article{mordell1922,
  author = {Mordell, L. J.},
  title = {On the rational solutions of the indeterminate equations of the third and fourth degrees},
  journal = {Proceedings of the Cambridge Philosophical Society},
  volume = {21},
  pages = {179--192},
  year = {1922}
}

@article{nagell1937,
  author = {Nagell, Trygve},
  title = {Solution de quelques problèmes dans la théorie arithmétique des cubiques planes du premier genre},
  journal = {Wid. Akad. Skrifter Oslo},
  year = {1937}
}

@book{silverman2009,
  author = {Silverman, Joseph H.},
  title = {The Arithmetic of Elliptic Curves},
  publisher = {Springer},
  year = {2009}
}

@article{weil1929,
  author = {Weil, A.},
  title = {L'arithmétique sur les courbes algébriques},
  journal = {Acta Mathematica},
  volume = {52},
  number = {1},
  pages = {281--315},
  year = {1929},
  doi = {10.1007/BF02592688}
}