2023 - T3 - WS3 - Special Week

Collection 2023 - T3 - WS3 - Special Week

Organisateur(s) Bostan, Alin ; Bouttier, Jérémie ; Cluzeau, Thomas ; Di Vizio, Lucia ; Krattenthaler, Christian ; Lairez, Pierre ; Maillard, Jean-Marie
Date(s) 27/11/2023 - 01/12/2023
URL associée https://indico.math.cnrs.fr/event/8115/
23 25

Computation of sums and integrals by reduction-based creative telescoping

De Bruno Salvy

Creative telescoping is an algorithmic method initiated by Zeilberger to compute definite sums or integrals by synthesizing summands or integrands that telescope, called certificates. We describe a creative telescoping algorithm that computes telescopers for definite sums or integrals of D-finite functions as well as the associated certificates in a compact form. In the integral case, the algorithm relies on a generalization of the Hermite reduction in symbolic integration. In the sum case, the algorithm relies on a discrete analogue of the generalized Hermite reduction, or equivalently, a generalization of the Abramov-Petkovsek reduction. We present a Maple implementation with good timings on a variety of examples.

Informations sur la vidéo

Données de citation

  • DOI 10.57987/IHP.2023.T3.WS3.SW.006
  • Citer cette vidéo Salvy, Bruno (01/12/2023). Computation of sums and integrals by reduction-based creative telescoping. IHP. Audiovisual resource. DOI: 10.57987/IHP.2023.T3.WS3.SW.006
  • URL https://dx.doi.org/10.57987/IHP.2023.T3.WS3.SW.006

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis