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.
Type de document :
Communication dans un congrès
ISSAC 2016, Jul 2016, Waterloo, Canada. pp.8, 2016, Proceedings ISSAC'16, pp. 127–134, ACM Press, 2016. 〈http://dl.acm.org/citation.cfm?id=2930907〉. 〈10.1145/2930889.2930907〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01317940
Contributeur : Bruno Salvy <>
Soumis le : jeudi 19 mai 2016 - 07:41:54
Dernière modification le : mardi 16 janvier 2018 - 15:30:09

Identifiants

Collections

Citation

Alin Bostan, Louis Dumont, Bruno Salvy. Efficient Algorithms for Mixed Creative Telescoping. ISSAC 2016, Jul 2016, Waterloo, Canada. pp.8, 2016, Proceedings ISSAC'16, pp. 127–134, ACM Press, 2016. 〈http://dl.acm.org/citation.cfm?id=2930907〉. 〈10.1145/2930889.2930907〉. 〈hal-01317940〉

Partager

Métriques

Consultations de la notice

113