Related papers: The q-WZ Method for Infinite Series
Several new $q$-supercongruences are obtained using transformation formulas for basic hypergeometric series, together with various techniques such as suitably combining terms, and creative microscoping, a method recently developed by the…
We define two finite q-analogs of certain multiple harmonic series with an arbitrary number of free parameters, and prove identities for these q-analogs, expressing them in terms of multiply nested sums involving the Gaussian binomial…
We give a new proof of a theorem of Zudilin that equates a very-well-poised hypergeometric series and a particular multiple integral. This integral generalizes integrals of Vasilenko and Vasilyev which were proposed as tools in the study of…
Using WZ pairs we present an infinite family of accelerated series for computing $\zeta(3)$.
In this paper, we evaluate some series via the WZ method, and confirm several previous conjectures. For example, we prove the following two identities conjectured by the second author: $$\sum_{k=0}^{\infty} \frac{(28k^2 + 10k + 1)…
George Boros and Victor Moll's masterpiece "Irresistible Integrals" does well to include a suitably-titled appendix, "The Revolutionary WZ Method," which gives a brief overview of the celebrated Wilf--Zeilberger method of definite…
We establish a $q$-analogue of the Bailey-Borwein-Bradley identity generating accelerated series for even zeta values and prove $q$-analogues of Markov's and Amdeberhan's series for $\zeta(3)$ using the $q$-Markov-WZ method.
By using contiguous relations for basic hypergeometric series, we give simple proofs of Bailey's $_4\phi_3$ summation, Carlitz's $_5\phi_4$ summation, Sears' $_3\phi_2$ to $_5\phi_4$ transformation, Sears' ${}_4\phi_3$ transformations,…
Motivated by the works of Andrews-Merca and Guo-Zeng, we establish some truncated identities of Gauss by using some summation formulas from the works of Zhi-Guo Liu. These give three new expansions for partial sums of Gauss' triangular…
The Apagodu-Zeilberger algorithm can be used for computing annihilating operators for definite sums over hypergeometric terms, or for definite integrals over hyperexponential functions. In this paper, we propose a generalization of this…
Following the method of combinatorial telescoping for alternating sums given by Chen, Hou and Mu, we present a combinatorial telescoping approach to partition identities on sums of positive terms. By giving a classification of the…
Recently Zagier proved a remarkable q-series identity. We show that this identity can also be proved by modifying Franklin's classical proof of Euler's pentagonal number theorem.
We show how to prove the examples of a paper by Chu and Zhang using the WZ-algorithm.
We prove a duality relation for generalized basic hypergeometric functions. It forms a $q$-extension of a recent result of the second and the third named authors and generalizes both a $q$-hypergeometric identity due to the third named…
Based on Jensen formulae and the second kind of Chebyshev polynomials, another proof is presented for an extension of a curious binomial identity due to Z. W. Sun and K. J. Wu.
Wilf-Zeilberger pairs are fundamental in the algorithmic theory of Wilf and Zeilberger for computer-generated proofs of combinatorial identities. Wilf-Zeilberger forms are their high-dimensional generalizations, which can be used for…
In this paper, by applying a range of classic summation and transformation formulas for basic hypergeometric series, we obtain a three-term identity for partial theta functions. It extends the Andrews-Warnaar partial theta function…
We show how infinite series of a certain type involving generalized harmonic numbers can be computed using a knowledge of symmetric functions and multiple zeta values. In particular, we prove and generalize some identities recently…
In terms of several summation and transformation formulas for basic hypergeometric series, two forms of the Chinese remainder theorem for coprime polynomials, the creative microscoping method introduced by Guo and Zudilin, Guo and Li's…
We use an integral method to establish a number of Rogers-Ramanujan type identities involving double and triple sums. The key step for proving such identities is to find some infinite products whose integrals over suitable contours are…