Efficient Algorithms for Mixed Creative Telescoping - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Efficient Algorithms for Mixed Creative Telescoping

Alin Bostan
  • Function : Author
  • PersonId : 831654
Bruno Salvy

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.

Dates and versions

hal-01317940 , version 1 (19-05-2016)

Identifiers

Cite

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⟩
72 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More