Alex J. Best

Generating author description...

All published works

Action	Title	Year	Authors
+	A complete formalization of Fermat's Last Theorem for regular primes in Lean	2024	Riccardo Brasca Christopher Birkbeck Eric Rodriguez Boidi Alex J. Best Ruben van De Velde Andrew Yang
+ PDF Chat	Refined Selmer equations for the thrice-punctured line in depth two	2023	Alex J. Best Laurie Betts Theresa Kumpitsch Martin Lüdtke Angus McAndrew Lie Qian Elie Studnia Yujie Xu
+	Fermat’s Last Theorem for Regular Primes (Short Paper)	2023	Alex J. Best Christopher Birkbeck Riccardo Brasca Eric Rodriguez Boidi
+	Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves	2023	Anne Baanen Alex J. Best Nirvana Coppola Sander R. Dahmen
+	Fermat's Last Theorem for regular primes	2023	Alex J. Best Christopher Birkbeck Riccardo Brasca Eric Rodriguez Boidi
+ PDF Chat	A user's guide to the local arithmetic of hyperelliptic curves	2022	Alex J. Best L. Alexander Betts Matthew Bisatt Raymond van Bommel Vladimir Dokchitser Omri Faraggi Sabrina Kunzweiler Céline Maistret Adam Morgan Simone Muselli
+	Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves	2022	Anne Baanen Alex J. Best Nirvana Coppola Sander R. Dahmen
+ PDF Chat	Computing Classical Modular Forms	2021	Alex J. Best Jonathan Bober Andrew R. Booker Edgar Costa J. E. Cremona Maarten Derickx Min Lee David Lowry-Duda David Roe Andrew V. Sutherland
+ PDF Chat	Elliptic Curves with Good Reduction Outside of the First Six Primes	2021	Alex J. Best Benjamin Matschke
+ PDF Chat	Two Recent p-adic Approaches Towards the (Effective) Mordell Conjecture	2021	Jennifer S. Balakrishnan Alex J. Best Francesca Bianchi Brian Lawrence J. S. Müller Nicholas Triantafillou Jan Vonk
+	Refined Selmer equations for the thrice-punctured line in depth two	2021	Alex J. Best L. Alexander Betts Theresa Kumpitsch Martin Lüdtke Angus McAndrew Lie Qian Elie Studnia Yujie Xu
+	Square Root Time Coleman Integration on Superelliptic Curves	2021	Alex J. Best
+	Elliptic curves with good reduction outside of the first six primes	2020	Alex J. Best Benjamin Matschke
+	A user's guide to the local arithmetic of hyperelliptic curves	2020	Alex J. Best L. Alexander Betts Matthew Bisatt Raymond van Bommel Vladimir Dokchitser Omri Faraggi Sabrina Kunzweiler Céline Maistret Adam Morgan Simone Muselli
+	Two recent p-adic approaches towards the (effective) Mordell conjecture	2019	Jennifer S. Balakrishnan Alex J. Best Francesca Bianchi Brian Lawrence J. Steffen Müller Nicholas Triantafillou Jan Vonk
+ PDF Chat	Explicit Coleman integration in larger characteristic	2019	Alex J. Best
+ PDF Chat	Computing zeta functions of cyclic covers in large characteristic	2019	Vishal Arul Alex J. Best Edgar Costa Richard Magner Nicholas Triantafillou
+	Two recent p-adic approaches towards the (effective) Mordell conjecture	2019	Jennifer S. Balakrishnan Alex J. Best Francesca Bianchi Brian Lawrence J. Steffen Müller Nicholas Triantafillou Jan Vonk

Common Coauthors

Coauthor	Papers Together
Nicholas Triantafillou	4
Riccardo Brasca	3
Eric Rodriguez Boidi	3
Jan Vonk	3
Christopher Birkbeck	3
Jennifer S. Balakrishnan	3
Lie Qian	2
Anne Baanen	2
Yujie Xu	2
Angus McAndrew	2
Sander R. Dahmen	2
Theresa Kumpitsch	2
Céline Maistret	2
Nirvana Coppola	2
L. Alexander Betts	2
Benjamin Matschke	2
Martin Lüdtke	2
Vladimir Dokchitser	2
Edgar Costa	2
Omri Faraggi	2
Raymond van Bommel	2
Sabrina Kunzweiler	2
Simone Muselli	2
Matthew Bisatt	2
Elie Studnia	2
Francesca Bianchi	2
J. Steffen Müller	2
Brian Lawrence	2
Andrew V. Sutherland	1
L. Alexander Betts	1
Min Lee	1
Francesca Bianchi	1
Maarten Derickx	1
Laurie Betts	1
J. S. Müller	1
David Lowry-Duda	1
Adam Morgan	1
J. E. Cremona	1
Adam Morgan	1
Ruben van De Velde	1
Jonathan Bober	1
Sarah Nowell	1
David Roe	1
Sarah Nowell	1
Vishal Arul	1
John Voight	1
Richard Magner	1
Andrew R. Booker	1
Andrew Yang	1
Brian Lawrence	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	The Magma Algebra System I: The User Language	1997	Wieb Bosma John Cannon Catherine Playoust	5
+	Counting Points on Hyperelliptic Curves using Monsky-Washnitzer Cohomology	2001	Kiran S. Kedlaya	4
+ PDF Chat	An extension of Kedlaya’s algorithm for hyperelliptic curves	2011	Michael Harrison	4
+	Le Groupe Fondamental de la Droite Projective Moins Trois Points	1989	P. Deligne	4
+	Algorithms for Modular Elliptic Curves	1992	J. E. Cremona	4
+	Counting points on curves using a map to P1, II	2017	Jan Tuitman	4
+ PDF Chat	Mixed Tate Motives and the Unit Equation	2015	Ishai Dan‐Cohen Stefan Wewers	4
+ PDF Chat	The Unipotent Albanese Map and Selmer Varieties for Curves	2009	Minhyong Kim	4
+ PDF Chat	The motivic fundamental group of P1∖{0,1,∞} and the theorem of Siegel	2005	Minhyong Kim	4
+ PDF Chat	Coleman integration for even-degree models of hyperelliptic curves	2015	Jennifer S. Balakrishnan	4
+ PDF Chat	Explicit Chabauty-Kim theory for the thrice punctured line in depth 2	2014	Ishai Dan‐Cohen Stefan Wewers	3
+	Explicit Coleman integration for curves	2020	Jennifer S. Balakrishnan Jan Tuitman	3
+	Rigorous computation of the endomorphism ring of a Jacobian	2018	Edgar Costa Nicolas Mascot Jeroen Sijsling John Voight	3
+ PDF Chat	Explicit Coleman Integration for Hyperelliptic Curves	2010	Jennifer S. Balakrishnan Robert Bradshaw Kiran S. Kedlaya	3
+ PDF Chat	$\mathbf{Li}^{\boldsymbol{(p)}}$-service? An algorithm for computing $\boldsymbol{p}$-adic polylogarithms	2007	Amnon Besser Rob de Jeu	3
+ PDF Chat	Quadratic Chabauty and rational points, I: p-adic heights	2018	Jennifer S. Balakrishnan Netan Dogra	3
+	Heegner points and derivatives ofL-series	1986	Benedict H. Gross Don Zagier	3
+ PDF Chat	A non-abelian conjecture of Tate–Shafarevich type for hyperbolic curves	2018	Jennifer S. Balakrishnan Ishai Dan‐Cohen Minhyong Kim Stefan Wewers	3
+ PDF Chat	Explicit Chabauty–Kim for the split Cartan modular curve of level 13	2019	Jennifer S. Balakrishnan Netan Dogra J. Steffen Müller Jan Tuitman Jan Vonk	3
+ PDF Chat	A point counting algorithm for cyclic covers of the projective line	2015	Cécile Gonçalves	3
+ PDF Chat	Counting points on curves using a map to $\mathbf {P}^1$	2015	Jan Tuitman	3
+ PDF Chat	Counting points on hyperelliptic curves in average polynomial time	2014	David Harvey	3
+	Computing Zeta Functions of Superelliptic Curves in Larger Characteristic	2009	Moritz Minzlaff	3
+ PDF Chat	Arithmetic quotients of the mapping class group	2015	Fritz Grunewald Michael Larsen Alexander Lubotzky Justin Malestein	2
+ PDF Chat	The polylog quotient and the Goncharov quotient in computational Chabauty–Kim Theory I	2020	David Corwin Ishai Dan‐Cohen	2
+ PDF Chat	Hensel-lifting torsion points on Jacobians and Galois representations	2019	Nicolas Mascot	2
+ PDF Chat	GEOMETRIC QUADRATIC CHABAUTY	2021	Bas Edixhoven Guido Lido	2
+ PDF Chat	Kedlaya's Algorithm in Larger Characteristic	2007	David Harvey	2
+	Dilogarithms, regulators andp-adicL-functions	1982	Robert F. Coleman	2
+	On normal forms of modular curves of genus 2	1992	Naoki Murabayashi	2
+ PDF Chat	Pink’s conjecture on unlikely intersections and families of semi-abelian varieties	2020	Daniel Bertrand Bas Edixhoven	2
+	The local theory of unipotent Kummer maps and refined Selmer schemes	2019	L. Alexander Betts Netan Dogra	2
+ PDF Chat	Arithmeticity of the monodromy of some Kodaira fibrations	2019	Nick Salter Bena Tshishiku	2
+	Explicit approaches to modular abelian varieties	2000	William Stein	2
+ PDF Chat	Asymptotically fast group operations on Jacobians of general curves	2007	Kamal Khuri-Makdisi	2
+ PDF Chat	Explicit Chabauty over number fields	2013	Samir Siksek	2
+	Torsion Points on Curves and -Adic Abelian Integrals	1985	Robert F. Coleman	2
+	Selmer varieties for curves with CM Jacobians	2010	John Coates Minhyong Kim	2
+	Motivic fundamental groups and integral points	2011	Majid Hadian	2
+	Massey products for elliptic curves of rank 1	2010	Minhyong Kim	2
+ PDF Chat	Linear Recurrences with Polynomial Coefficients and Application to Integer Factorization and Cartier–Manin Operator	2007	Alin Bostan Pierrick Gaudry Éric Schost	2
+ PDF Chat	None	2002	Amnon Besser	2
+	Tangential localization for Selmer varieties	2012	Minhyong Kim	2
+	Deformation theory and the computation of zeta functions	2004	Alan G. B. Lauder	2
+	Equations for modular curves	1996	Steven D. Galbraith	2
+	Heidelberg Lectures on Coleman Integration	2011	Amnon Besser	2
+ PDF Chat	The syntomic regulator for the K-theory of fields	2003	Amnon Besser Richard DeJeu	2
+	Harmonic Analysis and Discontinuous Groups in Weakly Symmetric Riemannian Spaces With Applications to Dirichlet Series	1956	Atle Selberg	2
+ PDF Chat	Linear algebra algorithms for divisors on an algebraic curve	2003	Kamal Khuri-Makdisi	2
+ PDF Chat	A Recursive Method for Computing Zeta Functions of Varieties	2006	Alan G. B. Lauder	2