Projects per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Active
-
A complete formalization of Fermat's Last Theorem for regular primes in Lean
Best, A., Birkbeck, C., Brasca, R., Rodriguez Boidi, E., van de Velde, R. & Yang, A., 15 Jul 2025, In: Annals of Formalized Mathematics. 1, p. 103–132 30 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile12 Downloads (Pure) -
Fermat's Last Theorem for regular primes
Best, A. J., Birkbeck, C., Brasca, R. & Boidi, E. R., 15 May 2023, Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany.Research output: Working paper › Preprint
Open Access -
Overconvergent Hilbert modular forms via perfectoid modular varieties
Birkbeck, C., Heuer, B. & Williams, C., Jul 2023, In: Annales de l’institut Fourier. 73, 4, p. 1709-1794 86 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)26 Downloads (Pure) -
Extensions of vector bundles on the Fargues-Fontaine curve
Birkbeck, C., Feng, T., Hansen, D., Hong, S., Li, Q., Wang, A. & Ye, L., 14 Mar 2022, In: Journal of the Institute of Mathematics of Jussieu. 21, 2, p. 487-532 46 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile6 Citations (Scopus)23 Downloads (Pure) -
Slopes of overconvergent Hilbert modular forms
Birkbeck, C., 2021, In: Experimental Mathematics. 30, 3, p. 295-314 20 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Citation (Scopus)