Complexity of creative telescoping for bivariate rational functions
From MaRDI portal
Abstract: 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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3762913 (Why is no real title available?)
- scientific article; zbMATH DE number 45257 (Why is no real title available?)
- scientific article; zbMATH DE number 3490133 (Why is no real title available?)
- scientific article; zbMATH DE number 2038305 (Why is no real title available?)
- scientific article; zbMATH DE number 2142844 (Why is no real title available?)
- scientific article; zbMATH DE number 3015982 (Why is no real title available?)
- scientific article; zbMATH DE number 802623 (Why is no real title available?)
- Differential algebra for derivations with nontrivial commutation rules
- Differential invariants of a Lie group action: syzygies on a generating set
- Differential invariants of conformal and projective surfaces
- Generating differential invariants
- Higher order contact of submanifolds of homogeneous spaces
- Invariants différentiels d'un pseudogroupe de Lie. I
- Invariants différentiels d'un pseudogroupe de Lie. II
- Moving coframes. II: Regularization and theoretical foundations
- Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
- Rational invariants of a group action. Construction and rewriting
- Smooth and algebraic invariants of a group action: Local and global constructions
Cited in
(25)- Efficient rational creative telescoping
- Creative telescoping for holonomic functions
- Algebraic diagonals and walks: algorithms, bounds, complexity
- Hermite Reduction for D-finite Functions via Integral Bases
- Trading order for degree in creative telescoping
- Computing discrete residues of rational functions
- Computing periods of rational integrals
- Polynomial reduction for holonomic sequences and applications in -series and congruences
- Beating binary powering for polynomial matrices
- On the length of integers in telescopers for proper hypergeometric terms
- New Bounds for Hypergeometric Creative Telescoping
- Constructing minimal telescopers for rational functions in three discrete variables
- On the existence of telescopers for rational functions in three variables
- Telescopers for differential forms with one parameter
- Minimization of differential equations and algebraic values of 𝐸-functions
- Reduction-based creative telescoping for Fuchsian D-finite functions
- Linear differential equations as a data structure
- On differentially algebraic generating series for walks in the quarter plane
- Creative telescoping for rational functions using the Griffiths-Dwork method
- Constructing reductions for creative telescoping. The general differentially finite case
- Faster multivariate integration in D-modules
- Lazy Hermite reduction and creative telescoping for algebraic functions
- Reduction-based creative telescoping for definite summation of D-finite functions
- Some open problems related to creative telescoping
- A unified reduction for hypergeometric and q-hypergeometric creative telescoping
This page was built for publication: Complexity of creative telescoping for bivariate rational functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946539)
