Alin Bostan (INRIA Rocquencourt-Microsoft Saclay)

Nous montrerons comment certains problèmes de combinatoire énumérative peuvent être systématiquement résolus en utilisant une approche de type « mathématiques expérimentales » guidée par des algorithmes modernes de calcul formel. Nous décrirons la découverte et la preuve assistées par l’ordinateur de propriétés structurelles et de formules explicites pour des séries génératrices énumérant des marches dans le quart de plan. Les résultats présentés sont extraits de plusieurs travaux, en collaboration avec Frédéric Chyzak, Philippe Flajolet, Mark van Hoeij, Manuel Kauers, Lucien Pech et Karol Penson.