Residues and telescopers for bivariate rational functions
From MaRDI portal
Publication:444428
DOI10.1016/J.AAM.2012.04.003zbMath1248.33042DBLPjournals/aam/ChenS12arXiv1203.4200OpenAlexW2078853618WikidataQ57430939 ScholiaQ57430939MaRDI QIDQ444428
Michael F. Singer, Shaoshi Chen
Publication date: 14 August 2012
Published in: Advances in Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1203.4200
Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Related Items (19)
On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters ⋮ On the nature of the generating series of walks in the quarter plane ⋮ Some open problems related to creative telescoping ⋮ Walks in the quarter plane: genus zero case ⋮ Computing differential Galois groups of second-order linear \(q\)-difference equations ⋮ On integro-differential algebras. ⋮ Intrinsic Approach to Galois Theory of 𝑞-Difference Equations ⋮ On the summability of bivariate rational functions ⋮ Computation of the unipotent radical of the differential Galois group for a parameterized second-order linear differential equation ⋮ Computation of the difference-differential Galois group and differential relations among solutions for a second-order linear difference equation ⋮ Closed form solutions of linear difference equations in terms of symmetric products ⋮ Difference Galois theory of linear differential equations ⋮ How to Generate All Possible Rational Wilf-Zeilberger Pairs? ⋮ On the existence of telescopers for mixed hypergeometric terms ⋮ On the existence of telescopers for rational functions in three variables ⋮ On differentially algebraic generating series for walks in the quarter plane ⋮ An algorithm for deciding the summability of bivariate rational functions ⋮ Creative Telescoping for Holonomic Functions ⋮ On the algebraic and analytic 𝑞-De Rham complexes attached to 𝑞-difference equations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parameterized telescoping proves algebraic independence of sums
- Non-commutative rational power series and algebraic generating functions
- The method of differentiating under the integral sign
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Non-holonomicity of sequences defined via elementary functions
- Differential Galois theory of linear difference equations
- On expansion of algebraic functions in power and Puiseux series. I
- On expansion of algebraic functions in power and Puiseux series. II
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Galois theory of difference equations
- Linear relations among algebraic solutions of differential equations
- When does Zeilberger's algorithm succeed?
- Rational summation of rational functions
- A criterion for the applicability of Zeilberger's algorithm to rational functions
- Linear differential operators for polynomial equations
- Symbolic integration I: Transcendental functions
- Greatest factorial factorization and symbolic summation
- Rational summation and Gosper-Petkovšek representation
- Applicability of the \(q\)-analogue of Zeilberger's algorithm
- Calcul pratique des coefficients de Taylor d'une fonction algébrique
- Algebraic functions over finite fields
- Rational Functions Certify Combinatorial Identities
- An Inversion Theorem for Cluster Decompositions of Sequences with Distinguished Subsequences
- Propriétés algébriques de suites différentiellement finies
- Sur divers produits de séries formelles
- Telescoping, rational-valued series, and zeta functions
- The Goulden—Jackson cluster method: extensions, applications and implementations
- Telescopers for rational and algebraic functions via residues
- Towards computerized proofs of identities
- Rational solutions of linear differential and difference equations with polynomial coefficients
- On the \(q\)-analogue of Zeilberger's algorithm to rational functions
- Grothendieck's conjecture for the Risch equation \(y'=ay+b\)
This page was built for publication: Residues and telescopers for bivariate rational functions