Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 25 Octobre 2011

Analyse symbolique pour la combinatoire des marches

par 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.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr