Alex Best

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A complete formalization of Fermat's last theorem for regular primes in Lean Annals of Formalized Mathematics. AFM	2026-01-28	Paper
A complete formalization of Fermat's Last Theorem for regular primes in Lean Annals of Formalized Mathematics. AFM	2025-07-15	Paper
Fermat's last theorem for regular primes (short paper)	2024-11-26	Paper
Square root time Coleman integration on superelliptic curves	2024-09-12	Paper
Computing classical modular forms	2024-09-12	Paper
Elliptic curves with good reduction outside of the first six primes	2024-09-12	Paper
Refined Selmer equations for the thrice-punctured line in depth two Mathematics of Computation	2024-02-28	Paper
A user's guide to the local arithmetic of hyperelliptic curves Bulletin of the London Mathematical Society	2023-08-18	Paper
Computing zeta functions of cyclic covers in large characteristic Open Book Series	2023-08-02	Paper
Fermat's Last Theorem for regular primes	2023-05-15	Paper
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves	2022-09-30	Paper
Elliptic curves with good reduction outside of the first six primes	2020-07-20	Paper
Computing classical modular forms	2020-02-11	Paper
Predation on infected host promotes evolutionary branching of virulence and pathogens' biodiversity Journal of Theoretical Biology	2016-06-09	Paper

Research outcomes over time

This page was built for person: Alex Best