Alex J. Best

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Automatically Generated

Top Venues

Publications

Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi
Fermat's Last Theorem for Regular Primes (Short Paper). ITP (2023)
Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi
Fermat's Last Theorem for regular primes. CoRR (2023)
Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves. CPP (2023)
Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves. CoRR (2022)
Alex J. Best
Automatically Generalizing Theorems Using Typeclasses (short paper). CICM Workshops (2021)