Publications

Riccardo Brasca, Gabriella Clemente (2026). Synthetic Differential Geometry in Lean. Preprint.
arXiv HAL
Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi, Ruben van De Velde, Andrew Yang (2025). A complete formalization of Fermat's Last Theorem for regular primes in Lean. Annals of Formalized Mathematics.
HAL DOI
Adel Bettina, Riccardo Brasca, Giovanni Rosso (2025). Eigenvarieties for non-cuspidal modular forms. Submitted for publication (major revision in progress).
arXiv
Dagur Asgeirsson, Riccardo Brasca, Nicholas Kuhn, Filippo Nuccio, Adam Topaz (2024). Categorical foundations of formalized condensed mathematics. Journal of Symbolic Logic.
arXiv DOI
Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi (2023). Fermat's Last Theorem for regular primes. 14th International Conference on Interactive Theorem Proving (ITP 2023).
arXiv DOI
Riccardo Brasca, Giovanni Rosso (2021). Hida theory over some unitary Shimura varieties without ordinary locus. American Journal of Mathematics.
arXiv DOI
Riccardo Brasca (2020). p-adic families of modular forms for Hodge type Shimura varieties with non-empty ordinary locus.
arXiv
Olivier Brinon, Fabrizio Andreatta, Riccardo Brasca, Bruno Chiarellotto, Nicola Mazzari, Simone Panozzo, Marco Seveso (2019). An introduction to perfectoid spaces. Panoramas et Syntheses.
url
Riccardo Brasca (2016). Eigenvarieties for cuspforms over PEL type Shimura varieties with dense ordinary locus. Canadian Journal of Mathematics.
arXiv DOI
Riccardo Brasca (2014). Quaternionic modular forms of any weight. International Journal of Number Theory.
arXiv DOI