Alex J. Best

According to our database, Alex J. Best authored at least 5 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A complete formalization of Fermat's Last Theorem for regular primes in Lean.

Riccardo Brasca, Christopher Birkbeck, Eric Rodriguez Boidi, Alex J. Best, Ruben van De Velde, Andrew Yang

CoRR, 2024

2023

Fermat's Last Theorem for regular primes.

Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi

CoRR, 2023

Fermat's Last Theorem for Regular Primes (Short Paper).

Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

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

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

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2021

Automatically Generalizing Theorems Using Typeclasses (short paper).

Alex J. Best

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021