Corps de classes, formes modulaires, et formalisation

Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio

Habilitation À Diriger Des Recherches Year : 2023

Corps de classes, formes modulaires, et formalisation

(1, 2, 3)

1
2
3

Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio

Function : Author
PersonId : 173477
IdHAL : fae-nuccio-mortarino-majno-di-capriglio
ORCID : 0000-0002-5318-9869
IdRef : 253122910

Combinatoire, théorie des nombres

Institut Camille Jordan

Université Jean Monnet - Saint-Étienne

CV

Keywords

Iwasawa Theory Modular Forms Proof Assistant Formalization Class Field Theory

Théorie d'Iwasawa Formes modulaires Formalisation mathématique Assistants de preuve Corps de classes

Domains

Number Theory [math.NT] Logic in Computer Science [cs.LO] Formal Languages and Automata Theory [cs.FL] Logic [math.LO]

Fichier principal

HDR_Nuccio.pdf (926.34 Ko)

Origin : Files produced by the author(s)
licence : CC BY SA - Attribution - ShareAlike

Filippo A. E. Nuccio Mortarino Majno di Capriglio : Connect in order to contact the contributor

https://ujm.hal.science/ujm-04198760

Submitted on : Friday, September 8, 2023-12:17:07 PM

Last modification on : Thursday, May 2, 2024-11:42:35 AM

Long-term archiving on: Saturday, December 9, 2023-6:17:12 PM

Dates and versions

ujm-04198760 , version 1 (08-09-2023)

Licence

Attribution - ShareAlike

Identifiers

HAL Id : ujm-04198760 , version 1

Cite

Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio. Corps de classes, formes modulaires, et formalisation. Théorie des nombres [math.NT]. Université Jean Monnet Saint-Étienne, 2023. ⟨ujm-04198760⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ST-ETIENNE CNRS ICJ UNIV-LYON1 INSA-LYON EC-LYON INSMI INSA-LYON-HDR INSA-GROUPE UDL

209 View

52 Download