14 citations · 23 across the 11 of their papers we have counts for
11 papers
Power-partible Reduction and Congruences for Schröder Polynomials
Chen-Bo Jia, Rong-Hua Wang, Michael X. X. Zhong
In this note, we apply the power-partible reduction to show the following arithmetic properties of large Schröder polynomials and little Schröder polynomials : for…
Power-Partible Reduction and Congruences for Apéry Numbers
Rong-Hua Wang, Michael X. X. Zhong
In this paper, we introduce the power-partible reduction for holonomic (or, P-recursive) sequences and apply it to obtain a series of congruences for Apéry numbers . In partic…
Polynomial reduction for holonomic sequences and applications in -series and congruences
Rong-Hua Wang, Michael X. X. Zhong
Polynomial reduction, designed first for hypergeometric terms, can be used to automatically prove and generate new hypergeometric identities from old ones. In this paper, we extend…
-Rational Reduction and -Analogues of Series for
Rong-Hua Wang, Michael X. X. Zhong
In this paper, we present a -analogue of the polynomial reduction which was originally developed for hypergeometric terms. Using the -Gosper representation, we describe the s…
Congruences Related to Dual Sequences and Catalan Numbers
Rong-Hua Wang, Michael X. X. Zhong
During the study of dual sequences, Sun introduced the polynomials \[ D_n(x,y)=\sum_{k=0}^{n}{n\choose k}{x\choose k}y^k\text{ and } S_n(x,y)=\sum_{k=0}^{n}\binom{n}{k}\binom{x}{k}…
An Algorithmic Approach to the -Summability Problem of Bivariate Rational Functions
Rong-Hua Wang
In 2014, Chen and Singer solved the summability problem of bivariate rational functions. Later an algorithmic proof was presented by Hou and the author. In this paper, the algorith…
Constructing minimal telescopers for rational functions in three discrete variables
Shaoshi Chen, Qing-Hu Hou, Hui Huang +2
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 b…
On the Existence of Telescopers for Rational Functions in Three Variables
Shaoshi Chen, Lixin Du, Rong-Hua Wang +1
Zeilberger's method of creative telescoping is crucial for the computer-generated proofs of combinatorial and special-function identities. Telescopers are linear differential or ($…
Existence Problem of Telescopers: Beyond the Bivariate Case
Shaoshi Chen, Qing-Hu Hou, George Labahn +1
In this paper, we solve the existence problem of telescopers for rational functions in three discrete variables. We reduce the problem to that of deciding the summability of bivari…
Infinite Orders and Non--finite Property of -Dimensional Lattice Walks
Daniel K. Du, Qing-Hu Hou, Rong-Hua Wang
Recently, Bostan and his coauthors investigated lattice walks restricted to the non-negative octant . For the non-trivial models with at most six steps, they…
An Algorithm for Deciding the Summability of Bivariate Rational Functions
Qing-Hu Hou, Rong-Hua Wang
Let and be the difference operators with respect to and . A rational function is called summable if there…