Proof of a supercongruence via the Wilf-Zeilberger method
From MaRDI portal
Publication:2029017
DOI10.1016/j.jsc.2021.04.001zbMath1472.11023arXiv1911.01790OpenAlexW3109907185MaRDI QIDQ2029017
Publication date: 3 June 2021
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1911.01790
Binomial coefficients; factorials; (q)-identities (11B65) Bernoulli and Euler numbers and polynomials (11B68) Congruences; primitive roots; residue systems (11A07) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On some congruences of certain binomial sums
- On the divisibility properties of certain binomial sums
- On the (K.2) supercongruence of Van Hamme
- On an extension of a Van Hamme supercongruence
- Hypergeometric evaluation identities and supercongruences
- Ramanujan-type supercongruences
- A \(q\)-analogue of a Ramanujan-type supercongruence involving central binomial coefficients
- Super congruences and Euler numbers
- \(q\)-analogues of the (E.2) and (F.2) supercongruences of van Hamme
- Proof of Sun's conjectures on super congruences and the divisibility of certain binomial sums
- A refinement of a congruence result by van Hamme and Mortenson
- Congruences involving Bernoulli and Euler numbers
- Symbolic summation assists combinatorics
- Open Conjectures on Congruences
- Some congruences related to a congruence of Van Hamme
