Résumé : L'objet de cet exposé est de présenter NumGfun, un module Maple consacré à la manipulation « analytique » des solutions d'équations différentielles linéaires à coefficients polynomiaux (fonctions dites D-finies ou holonomes). Les principales fonctionnalités de NumGfun concernent l'évaluation numérique des fonctions D-finies, et le calcul de bornes qui permettent de contrôler leur comportement. Je ferai une démonstration de l'utilisation de NumGfun, et je montrerai comment, à travers le calcul certifié de constantes de connection, il peut être utilisé pour étudier le comportement asymptotique de suites données par des séries génératrices D-finies.
Dernière modification : Monday 27 May 2024 | Contact pour cette page : Cyril.Banderier at lipn.univ-paris13.fr |