Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions

Alin Bostan
  • Fonction : Auteur
  • PersonId : 831654
Pierre Lairez
Bruno Salvy

Résumé

Hermite reduction is a classical algorithmic tool in symbolic integration. It is used to decompose a given rational function as a sum of a function with simple poles and the derivative of another rational function. We extend Hermite reduction to arbitrary linear differential operators instead of the pure derivative, and develop efficient algorithms for this reduction. We then apply the generalized Hermite reduction to the computation of linear operators satisfied by single definite integrals of D-finite functions of several continuous or discrete parameters. The resulting algorithm is a generalization of reduction-based methods for creative telescoping.
Fichier principal
Vignette du fichier
redct-final.pdf (770.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01788619 , version 1 (09-05-2018)

Identifiants

Citer

Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy. Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩. ⟨hal-01788619⟩
297 Consultations
198 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More