Efficient Algorithms for Mixed Creative Telescoping - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2016

Efficient Algorithms for Mixed Creative Telescoping

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

Résumé

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 et versions

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

Identifiants

Citer

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⟩
82 Consultations
0 Téléchargements

Altmetric

Partager

More