Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Alex J. Best
Observed names:
A. J. Best,
Alex Best,
Alex J Best,
Alexander Best,
Best, Alex J.
Institution:
Harmonic (United States)
Observed institutions:
Boston University,
King's College London,
Université Paris Cité,
Institut de Mathématiques de Jussieu-Paris Rive Gauche,
Heilbronn Institute for Mathematical Research,
Harmonic (United States),
Vrije Universiteit Amsterdam
show all 7
ORCID:
0000-0002-5741-674X
Observed ORCID:
0000-0002-5741-674X
OpenAlex ID:
A5011843451
Two Recent p-adic Approaches Towards the (Effective) Mordell Conjecture
2021
·
J. S. Balakrishnan
, A. J. Best
, et al.
·
Progress in mathematics
·
22
PDF
Computing Classical Modular Forms
2021
·
Alex J. Best
, Jonathan Bober
, et al.
·
Simons symposia
·
20
PDF
A user's guide to the local arithmetic of hyperelliptic curves
2022
·
Alex J. Best
, L. Alexander Betts
, et al.
·
Bulletin of the London Mathematical Society
·
16
PDF
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
2023
·
Anne Baanen
, Alex J. Best
, et al.
·
ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
·
6
PDF
Elliptic Curves with Good Reduction Outside of the First Six Primes
2021
·
Alex J. Best
, Benjamin Matschke
·
Simons symposia
·
5
PDF
Computing zeta functions of cyclic covers in large characteristic
2019
·
Vishal Arul
, Alex J. Best
, et al.
·
The Open Book Series
·
5
PDF
Square Root Time Coleman Integration on Superelliptic Curves
2021
·
Alex J. Best
·
Simons symposia
·
4
Explicit Coleman integration in larger characteristic
2019
·
Alexander Best
·
The Open Book Series
·
4
PDF
Aristotle: IMO-level Automated Theorem Proving
2026
·
Tudor Achim
, Alex Best
, et al.
·
SuperIntelligence - Robotics - Safety & Alignment
·
2
A complete formalization of Fermat's Last Theorem for regular primes in Lean
2025
·
Alex Best
, Christopher Birkbeck
, et al.
·
Annals of Formalized Mathematics
·
2
PDF
Refined Selmer equations for the thrice-punctured line in depth two
2023
·
Alex Best
, L. Betts
, et al.
·
Mathematics of Computation
·
2
Fermat’s Last Theorem for Regular Primes (Short Paper)
2023
·
Best, Alex J.
, Birkbeck, Christopher
, et al.
·
HAL
·
2
PDF
On the generalized Fermat equation $x^{13} + y^{13} = z^n$
2025
·
Best, Alex J.
, Dahmen, Sander R.
, et al.
·
arXiv (Cornell University)
PDF
Fermat's Last Theorem for regular primes
2023
·
Best, Alex J.
, Birkbeck, Christopher
, et al.
·
arXiv (Cornell University)
PDF
Tools and techniques for rational points on curves
2021
·
Best, Alex J.
·
OpenBU (Boston University)
Cluster pictures package for SageMath
2020
·
Best, Alex J.
, Bommel, Raymond Van
·
Zenodo (CERN European Organization for Nuclear Research)
A user's guide to the local arithmetic of hyperelliptic curves
2020
·
Best, Alex J.
, Betts, L. Alexander
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
18
Citation count:
91
H-index:
5
I10-index:
3
Year
Topic
Type
