Algorithmique des séries D-finies

Les séries solutions d'équations différentielles linéaires (dites D-finies)
et leurs suites de coefficients (solutions de récurrences linéaires)
interviennent dans des problèmes combinatoires variés. Elles bénéficient
en outre d'une algorithmique très riche qui en rend de nombreuses propriétés
calculables, et souvent efficacement. Le cours présentera l'interaction
entre propriétés mathématiques et algorithmiques dans ce sujet, avec
un accent sur les applications combinatoires.