Alex J Best

activity

20182023

most citedComputing classical modular forms

19 citations · 32 across the 9 of their papers we have counts for

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2023

Fermat's Last Theorem for regular primes

Alex J. Best, Christopher Birkbeck, Riccardo Brasca +1

We formalise the proof of the first case of Fermat's Last Theorem for regular primes using the \emph{Lean} theorem prover and its mathematical library \emph{mathlib}. This is an im…

cs.LO2022★ 6 cited

Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

Anne Baanen, Alex J. Best, Nirvana Coppola +1

Diophantine equations are a popular and active area of research in number theory. In this paper we consider Mordell equations, which are of the form $y^{2} = x^{3} + d$ , where $d$ is a (gi…