Filippo Alberto Edoardo
Nuccio Mortarino Majno di Capriglio

  Pendant ma thèse, j'ai travaillé en théorie d'Iwasawa des groupes de classes et j'ai ensuite étudié la théorie d'Iwasawa des courbes elliptiques et des familles de Coleman. Maintenant je m'intérésse àla formalisation mathémathique, en particulier en à Lean. J'ai contribué au Liquid Tensor Experiment et je suis maintainer de la librairie Mathlib de mathématiques formalisées en Lean.
  LeaN in LyoN, une journée (le 10 mai 2022) dédiée à la formalisation mathématique. Les vidéos des exposées sont disponibles ici.
  J'ai co-organisié la conférence Lean for the curious mathematician 2024, qui a eu lieu au CIRM en March 2024.
  Je suis le coordinateur du projet ANR-25-CE40-7639 FALSE dont l'objectif est la formalisation en Lean de certains résultats fondamentaux en arithméthique.

 +  J'ai co-fondé et je suis co-éditeur en chef, avec Rob Lewis, de l'epi-journal Annals of Formalized Mathematics, dédié à la formalisation mathématique.

  Je suis le référent pour la Science Ouverte de l'Université Jean Monnet
  Je suis co-pilote du Collège Publications du Comité pour la Science Ouverte du MESRI.
  Je fais partie du board de MathOA, une organisation visant à faciliter et acélérer le basculement de revues mathématiques vers l’accès ouvert.
  Je fais partie du comité stratégique du Réseau National des Bibliothéques de Mathématiques, ainsi que de celui du PCMath.
  La collaboration MathOA et centre Mersenne, MATAPLI 126 (2021) 69-74; HALId:ujm-04133052.


             mes publications et prépublications se trouvent sur ma page HAL, et aussi ci-dessous. Si vous voulez les citer, voici un petit conseil BiBTeX pour braver mon long nom de famille.
            

• Generalised class groups in dihedral and fake Z_p-extensions, Mathematica Slovaca, (2025) DOI:10.1515/ms-2025-0039; HALId:ujm-04702111.
• avec D. Asgeirsson, R. Brasca, N. Kuhn et A. Topaz, Categorical Foundations of Formalized Condensed Mathematics, Journal of Symbolic Logic, (2024) DOI:10.1017/jsl.2024.69; HALId:ujm-04633614.
• Corps de classes, formes modulaires, et formalisation, Habilitation à diriger des recherches, Université Jean Monnet Saint-Étienne (2023); HALId:ujm-04198760.
• avec M. I. de Frutos Fernández, A Formalization of Complete Discrete Valuation Rings and Local Fields, 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24), January 15-16 2024, London, United Kingdom, pp. 190-204 DOI:10.1145/3636501.3636942; HALId:ujm-04222610.
• avec D. Kundu et Sujatha R., Structure of Fine Selmer Groups in abelian p-adic Lie extensions, Osaka Journal of Mathematics, 61 no. 1 (2024), p. 121-146 disponible ici ; HALId:hal-03769801.
• avec L. Caputo, Cohomology of normic systems and fake Z_p-extensions, New York Journal of Mathematics 20 (2023), 1196-1272 disponible ici; HALId:hal-04056144.
• avec T. Ochiai et J. Ray, A formal model of Coleman families and applications to Iwasawa invariants, Annales Mathématiques du Québec (2023) DOI:10.1007/s40316-023-00217-0; HALId:hal-03355637.
• avec Sujatha R., Residual supersingular Iwasawa theory and signed Iwasawa invariants, Rendiconti del Seminario Matematico della Università di Padova 149 (2023), pp.83-129 DOI:10.4171/RSMUP/111; HALId:hal-02379955.
• avec A. Baanen, S. R. Dahmen et A. Narayanan, A formalization of Dedekind domains and class groups of global fields, Journal of Automated Reasoning 66 (2022), 611–637 DOI:10.1007/s10817-022-09644-0; HALId:hal-03355627.
• avec A. Baanen, S. R. Dahmen et A. Narayanan, A Formalization of Dedekind Domains and Class Groups of Global Fields, Leibniz International Proceedings in Informatics, Volume 193, ITP 2021 DOI:10.4230/LIPIcs.ITP.2021.5; HALId:hal-03132666.
• avec L. Caputo, Class number formula for dihedral extensions, Glasgow Mathematical Journal, 62 no. 2 (2020), p. 323-353 DOI:10.1017/S0017089519000144; HALId:hal-01728713.
• avec N. Billerey, Représentations galoisiennes diédrales et formes à multiplication complexe, Journal de théorie des nombres de Bordeaux, 30 no. 2 (2018), p. 651-670 DOI:10.5802/jtnb.1043; HALId:hal-01560947. Ici les fichiers PARI pour le calcul de Δ modulo 23 et de la courbe 65533.a1 modulo 7.
• Fitting Ideals, dans J. Coates, C. S. Dalawat, A. Saikia and R. Sujatha (eds), "Guwahati Workshop on Iwasawa Theory of Totally Real Fields", LNS 12, Ramanujan Mathematical Society, Mumbai, 2010; HALId:hal-00947158.
• Cyclotomic Units and Class groups in Z_p-extensions of real abelian fields, Mathematical Proceedings of the Cambridge Philosophical Society, 148 (2010), 93-106 DOI:10.1017/S0305004109990119; HALId:hal-00947151. Click here for a small note containing some examples.
• avec B. Anglès, On Jacobi Sums in Q(ζ_p), Acta Arithmetica, 142.3 (2010), 199-218 DOI:10.4064/aa142-3-1; HALId:hal-00947148.
• On Z_p-extensions of real abelian number fields, ma thèse à l'Univesité de Rome "La Sapienza" (2009); HALId:tel-00947135.
• avec L. Caputo, A Criterion for Greenberg's Conjecture, Proceedings of American Mathematical Society, 136 (2008), 2741-2744 DOI:10.1090/S0002-9939-08-09283-6; HALId:hal-00947165.
• avec F. Amoroso, Algebraic Numbers of Small Weil's Height in CM-fields: on a Theorem of Schinzel, Journal of Number Theory, 122 (2007) 247-260 DOI:10.1016/j.jnt.2006.04.005; HALId:hal-00947162.

             enseignement et groupes de travail

• La page web du cours M1 avancé Formalisation Mathémathique au DMA de l'ENS-Paris en 2025-2026.
• La page web du cours Preuve assistée par ordinateur en Lean à l'École doctorale InfoMaths de Lyon en 2025-2026.
• La page web des cours Introduction to Lean (au S1) et Advanced projects on Lean (au S2) pour le parcours Higher algebra and Formalised Mathematics du Master 2 de l'ENS-Lyon en 2024-2025.
• Le support pour mon cours Introduction à la Science Ouverte pour l'École Doctorale de l'UJM est disponible sur HAL: HALId:ujm-04487604.
• Les notes pour le cours M1301 de Mathématique au Département GMP de l'IUT de Saint-Étienne ainsi que la webpage du livre par Pierre Guillot pour M1301 et M2301.
  
• En 2014, j'ai co-organisé avec Ramla Abdellatif un Groupe de Travail sur les travaux conjoints de Bertolini et Darmon.
• Mes notes manuscrites pour trois exposés sur les fonctions L p-adiques pour de corps de nombres totalement réels donnés à la conférence Workshop Iwasawa 2012 tenue à Osaka, 3-6 Avril 2012. Le premier est une introduction aux congruences de Coates, le deuxième analyse la construction de Deligne et Ribet et le troisième décrit les approches de Cassou-Noguès et Barsky inspirées par Shintani.

---

             La page d'accueil de la communauté Mathlib qui développe la bibliothéque éponyme de mathématiques formalisées en Lean, ainsi qu'une page pour tester Lean sans rien n'installer, et l'indice de tous les résultats contenus dans Mathlib.
             Portail documentaire pour les Mathématiques de l'Université de Lyon
             Plateforme en Ligne pour les Mathématiques du CNRS
             Une version en ligne de SGA4
             Overleaf pour faire du LaTeX en ligne et partager des projets.
             Une base de données de groupes finis maintenue par Tim Dokchitser, une de courbes elliptiques et une autre d'espaces topologiques.
             Desmos pour tracer des graphes, une calculatrice en ligne de matrices et un applet JAVA pour les courbes paramétrées
             zbMATH Open la base de donnée en accès ouvert de l'European Mathematical Society et MathSciNet, celle de l'American Mathematical Society
             2020 Mathematics Subject Classification
             JSTOR --- Repositoire de publications mathématiques (nécessite d'un abonnement)
             Parutions récentes sur arXiv en Théorie des nombres et Algèbres d'opérateurs
             Programme NUMDAM, archives de révues mathématiques numérisées.
             gallica --- La bibliothèque numérique nationale de France
             Göttinger Digitalisierungszentrum
             Une archive de livres de mathématiques en français et légalement en accès libre, ainsi qu'une récolte d'anciens livres mathématiques numérisés par l'Université du Michigan.
             Sage notebook --- Online Sage calculator
             Mathematics Genealogy Project

---

            ENT - l'espace numérique de travail de l'Université Jean Monnet - et l'application ScoDoc
            Bibliothéque de la Faculté de Sciences de Saint-Étienne, et son service Navette BU2M.
            La page de gestion des missions à l'ICJ ainsi que celle pour le calendrier des exposés
            La page de mise à jour de l'état de fonctionnement des systèmes informatiques de l'ICJ.

---

            Déclaration de l'Académie française sur l'écriture dite "inclusive".
            Comune di Capriglio
            Intrada ant la Wikipedia an piemontèis (anliura ant el Biografìe ëd Matemàtich )
            Un outil en ligne pour se familiariser avec les Expressions régulières
            Édition Numérique Collaborative et CRitique de l'Encyclopédie de Diderot et d'Alembert (1751–1772), avec sa traduction anglaise
            Page Web du Edinburgh Journal of Gaddian Studies
            Page web de la collection Legenda Studies in Yiddish
            Page web de la Fondazione per l'Istruzione Agraria di Perugia qui héberge la collection de San Pietro.

---

            Laboratoire de Mathématiques Nicolas Oresme - Caen
            Department of Mathematics of the University of Exeter
            Mathematisches Institut der Ruprecht-Karls-Universität in Heidelberg
            Institut Camille Jordan - Lyon et Saint-Étienne
            UMPA - ENS Lyon et le site de la bibliothéque.
            Department of Mathematics Graduate School of Science - Osaka University
            Università Tor Vergata - Roma 2

---