Riccardo Brasca

MaRDI QIDQ2040211zbMATH OpenORCIDFDO

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
Categorical Foundations of Formalized Condensed Mathematics (available as arXiv preprint)	2024-01-01	Paper
A complete formalization of Fermat's Last Theorem for regular primes in Lean (available as arXiv preprint)	2024-01-01	Paper
Fermat's Last Theorem for regular primes	2023-05-15	Paper
Hida theory over some unitary Shimura varieties without ordinary locus American Journal of Mathematics	2021-07-05	Paper
p-adic families of modular forms for Hodge type Shimura varieties with non-empty ordinary locus	2020-09-15	Paper
An introduction to perfectoid spaces	2020-07-10	Paper
An excursion into p-adic Hodge theory: from foundations to recent trends	2020-02-03	Paper
Eigenvarieties for cuspforms over PEL type Shimura varieties with dense ordinary locus Canadian Journal of Mathematics	2016-12-14	Paper
Eigenvarieties for non-cuspidal modular forms over certain PEL Shimura varieties	2016-05-17	Paper
Eigenvarieties for non-cuspidal modular forms over certain PEL Shimura varieties (available as arXiv preprint)	2016-01-01	Paper
Quaternionic modular forms of any weight International Journal of Number Theory	2014-02-18	Paper
<i>p</i>-adic modular forms of non-integral weight over Shimura curves Compositio Mathematica	2013-01-29	Paper

Research outcomes over time

This page was built for person: Riccardo Brasca