Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio
- Institut Camille Jordan (ICJ)
- Université Jean Monnet - Saint-Étienne (UJM)
- Combinatoire, théorie des nombres (CTN)
Publications
Publications
|
|
Corps de classes, formes modulaires, et formalisationThéorie des nombres [math.NT]. Université Jean Monnet Saint-Étienne, 2023 |
Open Science and its impact on MathematicsCollaborations in Algebra, Representation theory and Ethics (CARE), Alice Bouillet; Luca Casarin; Luca Francone; Tal Gottesman; Matilde Maccan; UMPA UMR CNRS 5669, Oct 2025, Lyon, France |
|
|
|
A Formalization of Complete Discrete Valuation Rings and Local Fields13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24), Jan 2024, London, United Kingdom. pp.190-204, ⟨10.1145/3636501.3636942⟩ |
|
|
A formalization of Dedekind domains and class groups of global fields12th International Conference on Interactive Theorem Proving (ITP 2021), Jun 2021, Rome, Italy. ⟨10.4230/LIPIcs.ITP.2021.5⟩ |
|
|
Fitting IdealsRamanujan Mathematical Society. Guwahati Workshop on Iwasawa Theory of Totally Real Fields, Ramanujan Mathematical Society, pp.83-95, 2010, Lecture Notes Series |
|
|
Coleman Map in Coleman Families2019 |
|
|
On Jacobi Sums in $\mathbb Q(\zeta_p)$2008 |
|
|
On Z_p-extensions of real abelian number fieldsNumber Theory [math.NT]. Università degli studi di Roma I, 2009. English. ⟨NNT : ⟩ |
|
|
Introduction à la Science OuverteDoctorat. Introduction à la Science Ouverte, Saint-Étienne (Université Jean Monnet), France. 2024 |