- 15
- 3
- 2
Filippo A. E. Nuccio Mortarino Majno di Capriglio
Maître de Conférences HDR
100%
Libre accès
20
Documents
Affiliations actuelles
- 193738
- 300284
- 521751
Identifiants chercheurs
- fae-nuccio-mortarino-majno-di-capriglio
- 0000-0002-5318-9869
- IdRef : 253122910
Site web
- https://perso.univ-st-etienne.fr/nf51454h/
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 13
- 12
- 11
- 5
- 1
- 1
|
Corps de classes, formes modulaires, et formalisationThéorie des nombres [math.NT]. Université Jean Monnet Saint-Étienne, 2023
HDR
ujm-04198760v1
|
|
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⟩
Communication dans un congrès
ujm-04222610v3
|
|
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⟩
Communication dans un congrès
hal-03132666v1
|
|
Fitting IdealsRamanujan Mathematical Society. Guwahati Workshop on Iwasawa Theory of Totally Real Fields, Ramanujan Mathematical Society, pp.83-95, 2010, Lecture Notes Series
Chapitre d'ouvrage
hal-00947158v1
|
|
Coleman Map in Coleman Families2019
Pré-publication, Document de travail
hal-02083751v1
|
|
On Jacobi Sums in $\mathbb Q(\zeta_p)$2008
Pré-publication, Document de travail
hal-00252031v1
|
|
On Z_p-extensions of real abelian number fieldsNumber Theory [math.NT]. Università degli studi di Roma I, 2009. English. ⟨NNT : ⟩
Thèse
tel-00947135v1
|
|
Introduction à la Science OuverteDoctorat. Introduction à la Science Ouverte, Saint-Étienne (Université Jean Monnet), France. 2024
Cours
ujm-04487604v1
|