Riccardo Brasca

From MaRDI portal
(Redirected from Person:2040211)



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!

PublicationDate of PublicationType
A complete formalization of Fermat's last theorem for regular primes in Lean
Annals of Formalized Mathematics. AFM
2026-01-28Paper
A complete formalization of Fermat's Last Theorem for regular primes in Lean
Annals of Formalized Mathematics. AFM
2025-07-15Paper
Fermat's last theorem for regular primes (short paper)2024-11-26Paper
Fermat's Last Theorem for regular primes2023-05-15Paper
Hida theory over some unitary Shimura varieties without ordinary locus
American Journal of Mathematics
2021-07-05Paper
$p$-adic families of modular forms for Hodge type Shimura varieties with non-empty ordinary locus2020-09-15Paper
An introduction to perfectoid spaces2020-07-10Paper
An excursion into \(p\)-adic Hodge theory: from foundations to recent trends2020-02-03Paper
Eigenvarieties for cuspforms over PEL type Shimura varieties with dense ordinary locus
Canadian Journal of Mathematics
2016-12-14Paper
Eigenvarieties for non-cuspidal modular forms over certain PEL Shimura varieties2016-05-17Paper
Quaternionic modular forms of any weight
International Journal of Number Theory
2014-02-18Paper
<i>p</i>-adic modular forms of non-integral weight over Shimura curves
Compositio Mathematica
2013-01-29Paper


Research outcomes over time


This page was built for person: Riccardo Brasca