Flash Info
La date de clôture de l’étape 1 de l’AAPG2022 est reportée au mardi 2 novembre 2021, 17h.
CE40 - Mathématiques

Décider l’irrationalité et la transcendance – DeRerumNatura

Résumé de soumission

Classifier les objets d'une théorie mathématique requiert d'en effectiviser les prédicats et d'en automatiser efficacement les calculs pour qu'ils soient praticables sur des instances concrètes. C'est ce que nous proposons de faire pour résoudre des problèmes relatifs aux nombres, aux fonctions analytiques, et aux séries génératrices. Nous voulons en effet rendre effective, automatique et efficace la classification de certains objets dans des cadres théoriques éprouvés en théorie des nombres (E-fonctions, G-fonctions, fonctions mahlériennes) et en combinatoire (marches contraintes). Nous abordons ces thèmes dans un même projet car l'étude des équations fonctionnelles sous-jacentes profitera des mêmes outils algorithmiques (théorie de Galois, intégration, bases de Gröbner, reconstruction de formules explicites). À côté de résultats marquants sur les nombres et les marches, nous escomptons que la portée générale des outils développés aura un impact large et durable.

Coordinateur du projet

Monsieur Frédéric Chyzak (Institut National de Recherche en Informatique et en Automatique)

L'auteur de ce résumé est le coordinateur du projet, qui est responsable du contenu de ce résumé. L'ANR décline par conséquent toute responsabilité quant à son contenu.

Partenaire

Inria Saclay - Ile de France - équipe SPECFUN Institut National de Recherche en Informatique et en Automatique
LIP6 Laboratoire d'informatique de Paris 6
ICJ Institut Camille Jordan

Aide de l'ANR 191 471 euros
Début et durée du projet scientifique : décembre 2019 - 48 Mois

Liens utiles

Inscrivez-vous à notre newsletter
pour recevoir nos actualités
S'inscrire à notre newsletter