Rémi Jaoui, "Intégration en termes finis et fonctions exponentiellement algébriques"

lundi 24 nov. 2025, 15:30 → 16:00 Europe/Paris

Entre 1835 et 1845, Joseph Liouville a développé une théorie de l’intégration des fonctions élémentaires qui a pour but de rendre compte rigoureusement de l’observation suivante: il est en général difficile de calculer explicitement les primitives des fonctions usuelles de l’analyse.

Dans mon exposé, je présenterai une version modèle-théorique de la théorie de l'intégration de Liouville de la forme suivante: étant donnée une fonction holomorphe solution d'une équation différentielle, peut-on définir son graphe dans la structure (au sens de la logique du premier ordre) obtenue en étendant la géométrie semialgébrique par l’exponentielle complexe?

Mon exposé sera basé sur un travail en commun avec Jonathan Kirby.