Related papers: Wilf-Zeilberger seeds and non-trivial hypergeometr…
By extracting coefficients from Wilf-Zeilberger pairs with respect to auxiliary parameters, we discover many nontrivial hypergeometric series involving harmonic numbers. In particular, we obtain a rapidly convergent series for the depth-two…
We develop the notion of Wilf-Zeilberger seeds as a powerful framework for generating WZ-pairs and for lifting classical hypergeometric identities to the $q$-setting. As an application, we systematically obtain a large family of…
We find new hypergeometric identities which, in a certain aspect, are stron-ger than others of the same style found by the author in a previous paper. The identities in Section \ref{section-pi} are related to some Ramanujan-type series for…
We combine the powerful method of Wilf-Zeilberger pairs with systematic theory of multiple zeta values to prove a large number of series identities due to Z.W. Sun, many of them have been long standing conjectures.
In this paper we prove some Ramanujan-type formulas for $1/\pi$ but without using the theory of modular forms. Instead we use the WZ-method created by H. Wilf and D. Zeilberger and find some hypergeometric functions in two variables which…
Our main results are a WZ-proof of a new Ramanujan-like series for $1/\pi^2$ and a hypergeometric identity involving three series.
We prove, by the WZ-method, some hypergeometric identities which relate ten extended Ramanujan type series to simpler hypergeometric series. The identities we are going to prove are valid for all the values of a parameter $a$ when they are…
"Divergent" Ramanujan-type series for $1/\pi$ and $1/\pi^2$ provide us with new nice examples of supercongruences of the same kind as those related to the convergent cases. In this paper we manage to prove three of the supercongruences by…
By using the Wilf-Zeilberger method, we prove a novel finite combinatorial identity related to a bivariate generating function for $\zeta(2+r+2s)$ (an extension of a Bailey-Borwein-Bradley Apery-like formula for even zeta values). Such…
We give a simple unified proof for all existing rational hypergeometric Ramanujan identities for $1/\pi$, and give a complete survey (without proof) of several generalizations: rational hypergeometric identities for $1/\pi^c$, Taylor…
We use Zeilberger's algorithm for proving some identities of Ramanujan-type via $_2F_1$ evaluations.
We prove the second author's "denominator conjecture" [40] concerning the common denominators of coefficients of certain linear forms in zeta values. These forms were recently constructed to obtain lower bounds for the dimension of the…
By applying the derivative operator to the known identities from hypergeometric series or WZ pairs, we obtain seven series associated with harmonic numbers. Specifically, six of them are Ramanujan-like formulas for $1/\pi$ and the remaining…
We show with some examples how to prove some Ramanujan-type series for $1/\pi$ in an elementary way by using terminating identities.
Guillera and Zudilin proved three "divergent" Ramanujan-type supercongruences by means of the Wilf-Zeilberger algorithmic technique. In this paper, we prove $q$-analogues of two of them via the $q$-WZ method. Additionally, we give…
We propose a systematic method for constructing Wilf-Zeilberger (WZ) seeds and present seven WZ seeds. We also demonstrate how to construct WZ seeds from existing ones. With these WZ seeds, several hypergeometric identities are derived. The…
Recently, Kam Cheong Au discovered a powerful methodology of finding new Wilf-Zeilberger (WZ) pairs. He calls it WZ seeds and gives numerous examples of applications to proving longstanding conjectural identities for reciprocal powers of…
This report introduces new series and variations of some hypergeometric type identities for fast computing of logarithms $\log\,p$ for small positive integers $p$. These series were found using Wilf Zeilberger (WZ) method and/or integer…
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…
Riemann zeta function is important in a lot of branches of number theory. With the help of the operator method and several transformation formulas for hypergeometric series, we prove four series involving Riemann zeta function. Two of them…