Complexity of Creative Telescoping for Bivariate Rational Functions - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2010

Complexity of Creative Telescoping for Bivariate Rational Functions

Alin Bostan
  • Fonction : Auteur
Shaoshi Chen
  • Fonction : Auteur
Frédéric Chyzak

Résumé

The long-term goal initiated in this work is to obtain fast algorithms and implementations for definite integration in Almkvist and Zeilberger's framework of (differential) creative telescoping. Our complexity-driven approach is to obtain tight degree bounds on the various expressions involved in the method. To make the problem more tractable, we restrict to bivariate rational functions. By considering this constrained class of inputs, we are able to blend the general method of creative telescoping with the well-known Hermite reduction. We then use our new method to compute diagonals of rational power series arising from combinatorics.

Dates et versions

hal-00780066 , version 1 (23-01-2013)

Identifiants

Citer

Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li. Complexity of Creative Telescoping for Bivariate Rational Functions. ISSAC'10 - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.203-210. ⟨hal-00780066⟩

Collections

INRIA INRIA2
154 Consultations
0 Téléchargements

Altmetric

Partager

More