Chyzak
Le Jeudi 8 Février 2001 à 14h30
au LRI,
Salle 79
(INRIA)
Manipulation, sommation et intégration symboliques de fonctions
spéciales et de suites combinatoires.
L'approche holonome
Résumé/Abstract :
De nombreuses fonctions spéciales et suites de la combinatoire peuvent
être représentées implicitement comme solutions de
systèmes d'équations fonctionnelles linéaires. Cette
vaste classe d'objets tombe dans le champ d'application du calcul formel ;
elle jouit de nombreuses propriétés de clôture, en
particulier par sommation et par intégration, qui ont récemment
été traduites en algorithmes. Les applications comprennent la
simplification d'expressions en fonctions et suites spéciales,
l'évaluation d'intégrales et de sommes
paramétrées, le développement en série, le
développement asymptotique, ainsi que la preuve automatique
d'identités.