Constructing minimal telescopers for rational functions in three discrete variables
From MaRDI portal
Publication:2168558
Abstract: We present a new algorithm for constructing minimal telescopers for rational functions in three discrete variables. This is the first discrete reduction-based algorithm that goes beyond the bivariate case. The termination of the algorithm is guaranteed by a known existence criterion of telescopers. Our approach has the important feature that it avoids the potentially costly computation of certificates. Computational experiments are also provided so as to illustrate the efficiency of our approach.
Recommendations
Cites work
- \(q\)-hypergeometric solutions of \(q\)-difference equations
- A computer proof of a series evaluation in terms of harmonic numbers
- A criterion for the applicability of Zeilberger's algorithm to rational functions
- A direct algorithm to construct the minimal \(Z\)-pairs for rational functions.
- A fast approach to creative telescoping
- A holonomic systems approach to special functions identities
- A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms
- A telescoping method for double summations
- An algorithm for deciding the summability of bivariate rational functions
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- An extension of Zeilberger's fast algorithm to general holonomic functions
- Complexity of creative telescoping for bivariate rational functions
- Computing hypergeometric solutions of linear recurrence equations
- Constructing reductions for creative telescoping. The general differentially finite case
- Creative telescoping for rational functions using the Griffiths-Dwork method
- Efficient integer-linear decomposition of multivariate polynomials
- Existence problem of telescopers for rational functions in three variables. The mixed cases
- Existence problem of telescopers: beyond the bivariate case
- Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
- Greatest factorial factorization and symbolic summation
- Hermite reduction and creative telescoping for hyperexponential functions
- scientific article; zbMATH DE number 4139223 (Why is no real title available?)
- scientific article; zbMATH DE number 1254263 (Why is no real title available?)
- scientific article; zbMATH DE number 1254266 (Why is no real title available?)
- scientific article; zbMATH DE number 2151190 (Why is no real title available?)
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Minimal decomposition of indefinite hypergeometric sums
- Multibasic and mixed hypergeometric Gosper-type algorithms
- Multiple binomial sums
- New Bounds for Hypergeometric Creative Telescoping
- Non-commutative elimination in Ore algebras proves multivariate identities
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- On the existence of telescopers for rational functions in three variables
- On the summability of bivariate rational functions
- Ore polynomial rings in one variable in computer algebra.
- Reduction-based creative telescoping for algebraic functions
- Reduction-based creative telescoping for Fuchsian D-finite functions
- Refined holonomic summation algorithms in particle physics
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Solving recurrence relations using local invariants
- Some questions concerning computer-generated proofs of a binomial double- sum identity
- The method of creative telescoping
- The rational component of the solution of a first-order linear recurrence relation with a rational right side
- When does Zeilberger's algorithm succeed?
Cited in
(10)- On the existence of telescopers for rational functions in three variables
- Existence problem of telescopers: beyond the bivariate case
- scientific article; zbMATH DE number 1860747 (Why is no real title available?)
- Existence problem of telescopers for rational functions in three variables. The mixed cases
- Telescopers for rational and algebraic functions via residues
- Polynomial reduction for holonomic sequences and applications in -series and congruences
- Reduction-based creative telescoping for definite summation of D-finite functions
- A unified reduction for hypergeometric and q-hypergeometric creative telescoping
- Title not available (Why is no real title available?)
- Efficient rational creative telescoping
This page was built for publication: Constructing minimal telescopers for rational functions in three discrete variables
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2168558)
