Nos recherches s’articulent autour des trois axes principaux que sont la combinatoire et la théorie des nombres et les structures discrètes. Nous attachons une grande importance aux nombreuses interactions existant entre ces thèmes.
Présentation des thématiques
Les thèmes de recherche de notre équipe peuvent être classifiés en six grands thèmes :
- Equations fonctionnelles, transcendance et théories galoisiennes
- Combinatoire énumérative et algébrique
- Arithmétique en caractéristique non nulle
- Méthodes diophantiennes et analytiques
- Structures discrètes
- Formalisation et géométrie arithmétique
Activités collectives, événements
- Séminaire de théorie des nombres et combinatoire
Le séminaire parle le plus souvent des thèmes ci-dessus mais il est ouvert à des exposés introductifs sur d’autres sujets. Si vous désirez présenter vos travaux, nous vous invitons à prendre contact avec Thomas Gerber, Anthony Poels ou Xavier Roblot — le mardi à 10 h 45 (10 h 30 pour les croissants et chocolatines). - Journées diophantiennes : co-organisées par Anthony Poëls – Lyon 25 – 26 novembre 2025.
- Number Theory Conference : analytic, additive, diophantine aspects and related areas : co-organisée par D. Essouabri, F. Hennecart, M. Munsch et O. Robert à Saint-Etienne en 2024
- Journées Lyon – Clermont-Ferrand financées par la fédération de recherche en mathématiques Auvergne-Rhône-Alpes : 1ère édition à Lyon le mardi 26 septembre 2023 et 2ème édition à Clermont-Ferrand le mardi 7 mai 2024.
Projets & Contrats
- ANR False – Formalizing Arithmetic in the Lean Software Environment
Responsable du projet : Filippo A. E. Nuccio Mortarino Majno di Capriglio. Autre membre de l’ICJ dans ce projet : Xavier Roblot - Fonctions zêta à plusieurs variables et applications
Projet du CNRS et de la société Japonaise pour la promotion des sciences (JSPS). Responsable français du projet : Driss Essouabri. Autres membres de l’ICJ dans ce projet : Filippo Nuccio, Federico Pellarin, Xavier Roblot - MZFTTA-Multivariate Zeta functions, Tauberian theorems and Applications
Projet dans le cadre du programme de coopération scientifique MATH-AmSud entre la France et l’Amérique Latine. Coordinateur international et responsable Français du projet avec le Brésil et le Pérou : Driss Essouabri - Automata in number theory
ERC (numéro 648132). Responsable du projet : Boris Adamczewski. Autres membres de l’ICJ dans ce projet : Eric Delaygue, Federico Delaygue, Colin Faverjon. Ancien membres de l’ICJ dans ce projet : Thomas Dreyfus, Gwladys Fernandes, Reem Yassawi, Daniel Vargas Montoya, Clemens Müllner - De rerun natura
Projet ANR. Responsable local : Julien Roques. Autres membres de l’ICJ dans ce projet : Boris Adamczewski, Eric Delaygue - COMBINé
Projet ANR. Responsable du projet : Philippe Nadeau. Autres membres de l’ICJ dans ce projet : Riccardo Biagioli, Jehanne Dousse, Frédéric Jouhet
Publications choisies récentes
- B. Adamczewski, C. Faverjon, Mahler’s method in several variables, Annals of Math., to appear, 68 pp.
- É. Delaygue, A Lindemann-Weierstrass theorem for E-functions, J. Reine Angew. Math. 820 (2025), 75-85.
- D. Asgeirsson, R. Brasca, N. Kuhn, F. A. E. Nuccio Mortarino Majno Di Capriglio, A. Topaz, Categorical Foundations Of Formalized Condensed Mathematics, The Journal of Symbolic Logic. Published online 2024:1-28. doi:10.1017/jsl.2024.69
- P. Afsharijoo, J. Dousse, F. Jouhet and H. Mourtada, New companions to the Andrews-Gordon identities motivated by commutative algebra, Adv. Math. 417 (2023), 28 pp.
- B. Adamczewski, T. Dreyfus, and C. Hardouin, Hypertranscendence and linear difference equations, J. Amer. Math. Soc. 34 (2021) 475-503.
- A. Baanen, S. R. Dahmen, A. Narayanan, Ashvni and F. A. E. Nuccio Mortarino Majno di Capriglio. A Formalization of Dedekind Domains and Class Groups of Global Fields. 12th International Conference on Interactive Theorem Proving (ITP 2021).
- B. Adamczewski, J. Bell, and E. Delaygue, Algebraic independence of G-functions and congruences « à la Lucas », Ann. Sci. Éc. Norm. Supér. 52 (2019), 515-559.
- R. Biagioli, F. Jouhet, and P. Nadeau. 321-avoiding affine permutations and their many heaps, J. Combin. Theory Series A, 162 (2019), 271-305.
Membres
| Boris Adamczewski | +33 (0)472446273 | (UCBL-Braconnier 103) |
| Enzo Brechler | +33 (0)4724….. | (UCBL-Braconnier 111B) |
| Gaelle Dejou | +33 (0)472431186 | (UCBL-Braconnier 207) |
| Eric Delaygue | +33 (0)472431628 | (UCBL-Braconnier 218) |
| Marc Deléglise | +33 (0) | (UCBL-Braconnier ) |
| Driss Essouabri | +33 (0)477485138 | (UJM-Manufacture M301) |
| Alain Faisant | +33 (0)477481529 | (UJM-Manufacture M315) |
| Colin Faverjon | +33 (0)472431194 | (UCBL-Braconnier 226) |
| François Foucault | +33 (0)477481537 | (UJM-Manufacture M315) |
| Solal Gaudin | +33 (0)472431189 | (UCBL-Braconnier 111B) |
| Thomas Gerber | +33 (0)4724….. | (UCBL-Braconnier 230) |
| Georges Grekos | +33 (0)477481537 | (UJM-Manufacture M315) |
| Laurent Habsieger | +33 (0)472446243 | (UCBL-Braconnier 107) |
| François Hennecart | +33 (0)477481529 | (UJM-Manufacture M321) |
| Frédéric Jouhet | +33 (0)472431628 | (UCBL-Braconnier 218) |
| Bodo Lass | +33 (0)472431904 | (UCBL-Braconnier 220) |
| Yoann Loday | +33 (0)472448124 | (UCBL-Braconnier 118) |
| Loïc Mermet | +33 (0)477…… | (UJM-Manufacture M 313) |
| Elie Mosaki | +33 (0)426234555 | (UCBL-Braconnier 127) |
| Marc Munsch | +33 (0)477481529 | (UJM-Manufacture M317) |
| Philippe Nadeau | +33 (0)472431904 | (UCBL-Braconnier 220) |
| Quang-Khai Nguyen | +33 (0)472431190 | (UCBL-Braconnier 219) |
| Jean-Louis Nicolas | +33 (0)472432765 | (UCBL-Braconnier 249) |
| Filippo Nuccio | +33 (0)477481569 | (UJM-Manufacture M319) |
| Anthony Poels | +33 (0)472431252 | (UCBL-Braconnier 116) |
| Timothée Rampal | +33 (0)477781546 | (UJM-Manufacture M 313) |
| Olivier Robert | +33 (0)477481529 | (UJM-Manufacture M320) |
| Xavier Roblot | +33 (0)472431908 | (UCBL-Braconnier 244) |
| Julien Roques | +33 (0)472431629 | (UCBL-Braconnier 104) |
| Hamza Si Kaddour | +33 (0)472431691 | (UCBL-Braconnier 129) |
| Lara Thomas | +33 (0)477481537 | (UJM-Manufacture M315) |
| Chao Xu | +33 (0)472431190 | (UCBL-Braconnier 219) |
| Youssef Yjjou | +33 (0)4724….. | (UCBL-Braconnier 109E) |
| Luca Zamboni | +33 (0)426234552 | (UCBL-Braconnier 123) |
| Jiang Zeng | +33 (0)472431984 | (UCBL-Braconnier 213) |
|
Nombre de personnes : 35 |
||
Quelques activités passées
Quelques anciens membres
- Riccardo Biaggioli
- Pierre-Yves Bienvenu
- Maria Carrizosa
- Christophe Delaunay
- Jehanne Dousse
- Thomas Dreyfus
- Theresia Eisenkölbl
- Gwladys Fernandes
- Clemens Müllner
- Daniel Vargas Montoya
- Tuan Ngo Dac
- Caïus Wojcik
- Reem Yassawi
Contact
Responsable de l’équipe : Boris Adamczewski
Responsable de cette page : Xavier Roblot