Christopher Birkbeck
From MaRDI portal
Person:2199675
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A complete formalization of Fermat's last theorem for regular primes in Lean Annals of Formalized Mathematics. AFM | 2026-01-28 | Paper |
| A complete formalization of Fermat's Last Theorem for regular primes in Lean Annals of Formalized Mathematics. AFM | 2025-07-15 | Paper |
| Fermat's last theorem for regular primes (short paper) | 2024-11-26 | Paper |
| Overconvergent Hilbert modular forms via perfectoid modular varieties Annales de l’institut Fourier | 2023-07-11 | Paper |
| Fermat's Last Theorem for regular primes | 2023-05-15 | Paper |
| Slopes of overconvergent Hilbert modular forms Experimental Mathematics | 2021-11-03 | Paper |
| 2-adic slopes of Hilbert modular forms over \(\mathbb{Q} ( \sqrt{5} )\) Bulletin of the London Mathematical Society | 2020-11-20 | Paper |
| On the \(p\)-adic Langlands correspondence for algebraic tori Journal de Théorie des Nombres de Bordeaux | 2020-09-14 | Paper |
| The Jacquet-Langlands correspondence for overconvergent Hilbert modular forms International Journal of Number Theory | 2019-03-25 | Paper |
Research outcomes over time
This page was built for person: Christopher Birkbeck
