Related papers: q-Analogues of two "divergent" Ramanujan-type supe…
"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…
We prove q-analogues of two Ramanujan-type series for $1/\pi$ from $q$-analogues of ordinary WZ pairs.
We use Zeilberger's algorithm for proving some identities of Ramanujan-type via $_2F_1$ evaluations.
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 prove the last remaining case of the original 13 Ramanujan-type supercongruence conjectures due to Van Hamme from 1997. The proof utilizes classical congruences and a WZ pair due to Guillera. Additionally, we mention some future…
In this note, we prove two supercongruences involving Almkvist--Zudilin sequences, which were originally conjectured by Z.-H. Sun.
We establish a $q$-analogue of Sun--Zhao's congruence on harmonic sums. Based on this $q$-congruence and a $q$-series identity, we prove a congruence conjecture on sums of central $q$-binomial coefficients, which was recently proposed by…
In this paper, we prove two supercongruences conjectured by Z.-W. Sun via the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{p-1}\frac{6n+1}{256^n}\binom{2n}n^3&\equiv…
Motivated by the recent research of congruences and $q$-congruences, we provide two different $q$-analogues of the (G.2) supercongruence of Van Hamme through the `creative microscoping' method, which was devised by Guo and Zudilin. It is a…
Applying the $q$-Zeilberger algorithm, we establish a unified $q$-analogue of the (C.2) and (G.2) supercongruences of Van Hamme, which can be viewed as a refinement of several previously known results. As consequences, we obtain a…
From Carlitz's identity, we deduce two new $q$-supercongruences modulo the square of a cyclotomic polynomial, which were originally conjectured by Guo. These results establish new $q$-analogues of a supercongruence of Sun.
In 1997, Van Hamme conjectured 13 Ramanujan-type supercongruences. All of the 13 supercongruences have been confirmed by using a wide range of methods. In 2015, Swisher conjectured Dwork-type supercongruences related to the first 12…
Through a systematic approach on generating Wilf-Zeilberger-pairs, we prove some hypergeometric identities conjectures due to Z.W. Sun, J. Guillera and Y. Zhao etc., including two Ramanujan-$1/\pi^4$, one $1/\pi^3$ formulas as well as a…
Using the methodology of (rigorous) {\it experimental mathematics}, we give a simple and motivated solution to Zudilin's question concerning a $q$-analog of a problem posed by Asmus Schmidt about a certain binomial coefficients sum. Our…
In 1997, Van Hamme proposed 13 supercongruences corresponding to $1/\pi$ series of the Ramanujan-type. Inspired by the recent work of V.J.W. Guo, we establish a unified $q$-analogue of Van Hamme's (B.2), (E.2) and (F.2) supercongruences,…
Inspired by the recent work of Guo, we establish some new q-supercongruences including q-analogues of some Ramannujan-type supercongruences, by using the Bailey transformation formula and the `creative microscoping' method recently…
We establish $q$-analogs for four congruences involving central binomial coefficients. The $q$-identities necessary for this purpose are shown via the $q$-WZ method.
The first known $q$-analogues for any of the $17$ formulas for $\frac{1}{\pi}$ due to Ramanujan were introduced in 2018 by Guo and Liu (J. Difference Equ. Appl. 29:505-513, 2018), via the $q$-Wilf-Zeilberger method. Through a…
Inspired by the recent work on $q$-congruences and the quadratic summation formula of Rahman, we provide some new $q$-supercongruences. By taking $q\to 1$ in one of our results, we obtain a new Ramanujan-type supercongruence, which has the…
In this paper, we prove two supercongruences by the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{3n+1}{(-8)^n}\binom{2n}n^3\equiv…