Skip to Main content Skip to Navigation
New interface
Conference papers

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 metadata
Contributor : Bruno Salvy Connect in order to contact the contributor
Submitted on : Thursday, May 19, 2016 - 7:41:54 AM
Last modification on : Tuesday, October 25, 2022 - 4:22:28 PM

Links full text



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⟩



Record views