| Publication | Date of Publication | Type |
|---|
Mathematical proof between generations
Notices of the American Mathematical Society | 2024-09-26 | Paper |
Mathematical reasoning and the computer
Bulletin of the American Mathematical Society. New Series | 2024-04-03 | Paper |
What is the point of computers? A question for pure mathematicians
International Congress of Mathematicians | 2024-03-20 | Paper |
| What Makes a Mathematician Tick\l (Invited Talk) | 2023-02-03 | Paper |
| scientific article; zbMATH DE number 7447632 (Why is no real title available?) | 2021-12-17 | Paper |
Proving Theorems with Computers
Notices of the American Mathematical Society | 2021-02-11 | Paper |
| Formalising perfectoid spaces | 2019-10-27 | Paper |
Stably uniform affinoids are sheafy
Journal für die Reine und Angewandte Mathematik | 2018-07-12 | Paper |
A computation of modular forms of weight one and small level
Annales Mathématiques du Québec | 2017-12-08 | Paper |
Slopes of modular forms
Families of Automorphic Forms and the Trace Formula | 2017-01-16 | Paper |
The conjectural connections between automorphic representations and Galois representations
(available as arXiv preprint) | 2016-06-07 | Paper |
| Playing simple loony dots-and-boxes endgames optimally | 2015-04-20 | Paper |
Playing simple loony dots-and-boxes endgames optimally
(available as arXiv preprint) | 2015-04-20 | Paper |
Computing Weight One Modular Forms over $\mathbb{C}$ and $\overline{\mathbb{F}}_{p}$
Contributions in Mathematical and Computational Sciences | 2015-02-11 | Paper |
Explicit reduction modulo \(p\) of certain 2-dimensional crystalline representations. II
Bulletin of the London Mathematical Society | 2013-07-31 | Paper |
Potential modularity -- a survey
Non-abelian Fundamental Groups and Iwasawa Theory | 2012-07-23 | Paper |
On Serre's conjecture for mod \(\ell \) Galois representations over totally real fields
Duke Mathematical Journal | 2010-11-15 | Paper |
Explicit Reduction Modulo p of Certain Two-Dimensional Crystalline Representations
IMRN. International Mathematics Research Notices | 2009-07-15 | Paper |
| Eigenvarieties | 2008-06-03 | Paper |
The 2-adic eigencurve is proper
Documenta Mathematica | 2007-06-20 | Paper |
The 2-adic eigencurve is proper
Documenta Mathematica | 2007-06-20 | Paper |
The 2-adic eigencurve is proper
Documenta Mathematica | 2007-06-20 | Paper |
| scientific article; zbMATH DE number 2194132 (Why is no real title available?) | 2005-08-12 | Paper |
The 2-adic eigencurve at the boundary of weight space
Compositio Mathematica | 2005-06-24 | Paper |
Slopes of overconvergent 2-adic modular forms
Compositio Mathematica | 2005-06-24 | Paper |
| scientific article; zbMATH DE number 2164172 (Why is no real title available?) | 2005-05-03 | Paper |
A counterexample to the Gouvêa-Mazur conjecture
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2004-08-20 | Paper |
Families of modular forms
Journal de Théorie des Nombres de Bordeaux | 2004-08-05 | Paper |
Families of modular forms
Journal de Théorie des Nombres de Bordeaux | 2004-08-05 | Paper |
Families of modular forms
Journal de Théorie des Nombres de Bordeaux | 2004-08-05 | Paper |
Analytic continuation of overconvergent eigenforms
Journal of the American Mathematical Society | 2002-11-19 | Paper |
On icosahedral Artin representations
Duke Mathematical Journal | 2002-10-27 | Paper |
A mod five approach to modularity of icosahedral Galois representations.
Pacific Journal of Mathematics | 2002-10-22 | Paper |
Companion forms and weight one forms
Annals of Mathematics. Second Series | 2000-09-27 | Paper |
Companion forms and weight one forms
Annals of Mathematics. Second Series | 2000-09-27 | Paper |
Companion forms and weight one forms
Annals of Mathematics. Second Series | 2000-09-27 | Paper |
On level-lowering for mod 2 representations
Mathematical Research Letters | 2000-08-13 | Paper |
Integral models of certain Shimura curves
Duke Mathematical Journal | 1997-10-08 | Paper |
On the eigenvalues of the Hecke operator \(T_ 2\)
Journal of Number Theory | 1996-05-06 | Paper |
