Related papers: Dougall's $_5F_4$ sum and the WZ-algorithm
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.
In a recent paper, Chu and Zhou [Advances in Combinatorics, I.S. Kotsireas and E.V. Zima(eds.), 139-159 (2013)] established in all 40 closed formulae for terminating Watson-like hypergeometric $_{3}F_2$- series by investigating through…
Motivated by the telescoping proofs of two identities of Andrews and Warnaar, we find that infinite q-shifted factorials can be incorporated into the implementation of the q-Zeilberger algorithm in the approach of Chen, Hou and Mu to prove…
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)…
In this paper, we will show that (1) the results about the fuzzy reasoning algoritm obtained in the paper "Computer Sciences Vol. 34, No.4, pp.145-148, 2007" according to the paper "IEEE Transactions On systems, Man and cybernetics, 18,…
We prove some weighted sum formulas for half multiple zeta values, half finite multiple zeta values, and half symmetric multiple zeta values. The key point of our proof is Dougall's identity for the generalized hypergeometric function…
According to Chen and Fu's method, we offer a short proof for Dougall's $_2H_2$-series identity.
The purpose of this note is to demonstrate the advantages of Y.-Z.~Huang's definition of the Zhu algebra (Comm.\ Contemp.\ Math., 7 (2005), no.~5, 649--706) for an arbitrary vertex algebra, not necessarily equipped with a Hamiltonian…
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…
Let $A$ be a subset of $\mathbb{Z} / N\mathbb{Z}$ and let $\mathcal{R}$ be the set of large Fourier coefficients of $A$. Properties of $\mathcal{R}$ have been studied in works of M.-- C. Chang, B. Green and the author. In the paper we…
We establish a parametric supercongruence related to Whipple's ${}_5F_4$ formula and Dwork's dash operation. As a typical consequence, we obtain the following result: for any prime $p\equiv3\pmod4$ and odd integer $r\geq1$, $$…
In this paper, we consider the fractional sum of the divisor functions. We can improve previous results considered by Bordell\'{e}s \cite{Bo} and Liu-Wu-Yang \cite{LWY}.
In 2021, the first author and Kalita obtained two general hypergeometric formulas for sums involving certain rising factorials to prove some supercongruence conjectures of Guo related to (B.2) and (C.2). In this paper, we further generalize…
This paper proposes a proof of the convergence of a distributed and asynchronous version of the Kiefer-Wolfowitz algorithm.
We obtain a weighted sum formula of the zeta values at even arguments, and a weighted sum formula of the multiple zeta values with even arguments and its zeta-star analogue. The weight coefficients are given by (symmetric) polynomials of…
In this paper we give a mathematical proof of Dodgson algorithm [1]. Recently Zeilberger [2] gave a bijective proof. Our techniques are based on determinant properties and they are obtained by induction.
We investigate associative quotients of vertex algebras. We also give a short construction of the Zhu algebra, and a proof of its associativity using elliptic functions.
Wu, Lou, Lai and Chang proposed a multi-exponentiation algorithm using binary complements and the non-adjacent form. The purpose of this paper is to show that neither the analysis of the algorithm given by its original proposers nor that by…
We use the Wilf-Zeilberger method to prove identities between Mahler measures of polynomials. In particular, we offer a new proof of a formula due to Lal\'{i}n, and we show how to translate the identity into a formula involving elliptic…
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.