Corps de classes, formes modulaires, et formalisation - HDR de l'INSA Lyon Accéder directement au contenu
Hdr Année : 2023

Corps de classes, formes modulaires, et formalisation

Domaines

Théorie des nombres [math.NT] Logique en informatique [cs.LO] Théorie et langage formel [cs.FL] Logique [math.LO]
Fichier principal
Vignette du fichier
HDR_Nuccio.pdf (926.34 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
licence : CC BY SA - Paternité - Partage selon les Conditions Initiales

Filippo A. E. Nuccio Mortarino Majno di Capriglio  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 8 septembre 2023-12:17:07

Dernière modification le : mercredi 17 avril 2024-14:21:46

Archivage à long terme le : samedi 9 décembre 2023-18:17:12

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité - Partage selon les Conditions Initiales

Identifiants

  • HAL Id : ujm-04198760 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ST-ETIENNE CNRS ICJ UNIV-LYON1 INSA-LYON EC-LYON INSA-LYON-HDR INSA-GROUPE UDL
202 Consultations
52 Téléchargements

Partager

Gmail Facebook X LinkedIn More