Efficient Algorithms for Mixed Creative Telescoping

Alin Bostan 1 Louis Dumont 1 Bruno Salvy 2
2 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : Creative telescoping is a powerful computer algebra paradigm -initiated by Doron Zeilberger in the 90's- for dealing with definite integrals and sums with parameters. We address the mixed continuous-discrete case, and focus on the integration of bivariate hypergeometric-hyperexponential terms. We design a new creative telescoping algorithm operating on this class of inputs, based on a Hermite-like reduction procedure. The new algorithm has two nice features: it is efficient and it delivers, for a suitable representation of the input, a minimal-order telescoper. Its analysis reveals tight bounds on the sizes of the telescoper it produces.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01317940
Contributor : Bruno Salvy <>
Submitted on : Thursday, May 19, 2016 - 7:41:54 AM
Last modification on : Wednesday, November 20, 2019 - 2:51:45 AM

Links full text

Identifiers

Citation

Alin Bostan, Louis Dumont, Bruno Salvy. Efficient Algorithms for Mixed Creative Telescoping. ISSAC 2016, Jul 2016, Waterloo, Canada. pp.127-134, ⟨10.1145/2930889.2930907⟩. ⟨hal-01317940⟩

Share

Metrics

Record views

183