SMF

Exposé Bourbaki 746 : Démonstration “automatique” d'identités et fonctions hypergéométriques [d'après D. Zeilberger]

Pierre CARTIER
Exposé Bourbaki 746 : Démonstration “automatique” d'identités et fonctions hypergéométriques [d'après D. Zeilberger]
  • Année : 1992
  • Tome : 206
  • Format : Électronique
  • Langue de l'ouvrage :
    Français
  • Class. Math. : 33X04, 33A30
  • Pages : 41-91
  • DOI : 10.24033/ast.131

La théorie algébrique des équations différentielles connue sous le nom de théorie des $\mathcal {D}$-modules a été étendue récemment au cas des équations aux différences finies et aux cas mixtes. La notion de fonction holonome y joue un rôle important, et les méthodes d'élimination modernes (bases de Gröbner) ont été étendues aux idéaux d'opérateurs différentiels. On dispose maintenant d'un cadre général pour formuler et prouver les innombrables identités connues entre fonctions spéciales. Les méthodes se prêtent à l'utilisation d'ordinateurs pour démontrer ces identités selon un schéma préétabli. On donnera quelques exemples spectaculaires obtenus par Wilf et Zeilberger.

Des problèmes avec le téléchargement?Des problèmes avec le téléchargement?
Informez-nous de tout problème que vous avez...