Calcul formel pour la combinatoire

Alin Bostan 1 Bruno Salvy 2
2 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Résumé : Le calcul formel étudie la manipulation informatique d'objets mathématiques exacts. Dans ce cours, les objets mathématiques de prédilection seront les fonctions génératrices d'énumération en combinatoire. Le point de vue promu sera l'utilisation d'approximations à grande précision (séries formelles tronquées) comme structure de données intermédiaire pour représenter des objets exacts (fonctions génératrices). Nous présenterons les principaux outils permettant de passer d'équations, sommes ou intégrales à de bonnes approximations (des centaines, voire des milliers, de coefficients), principalement grâce à l'itération de Newton symbolique. À l'inverse, à partir d'approximations, nous expliquerons comment reconstruire des équations qu'elles résolvent de manière approchée ou des ''formules exactes'' qu'elles approchent. L'outil de base est l'approximation de Padé et de Padé-Hermite. Les approximations à grande précision sont souvent suffisantes pour que les expressions reconstruites soient exactes. Nous exposerons pour conclure des algorithmes permettant de prouver des identités entre séries hypergéométriques ou plus généralement D-finies. Au delà de la présentation des outils algorithmiques théoriques, le cours mettra l'accent sur leur pratique, et c'est pourquoi il se déroulera en partie sur machine.
Type de document :
Document associé à des manifestations scientifiques
Journées ALEA 2012, Mar 2012, Luminy, France
Liste complète des métadonnées

https://hal.inria.fr/hal-00780435
Contributeur : Alin Bostan <>
Soumis le : mercredi 23 janvier 2013 - 22:59:57
Dernière modification le : samedi 21 avril 2018 - 01:27:33
Document(s) archivé(s) le : samedi 1 avril 2017 - 09:26:23

Fichiers

BostanSalvy_part1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00780435, version 1

Collections

Citation

Alin Bostan, Bruno Salvy. Calcul formel pour la combinatoire. Journées ALEA 2012, Mar 2012, Luminy, France. 〈hal-00780435〉

Partager

Métriques

Consultations de la notice

331

Téléchargements de fichiers

147