Related papers: The WZ method and flawless WZ pairs

In this paper, we prove new identities for Bernoulli polynomials that extend Alzer and Kwong's results. The key idea is to use the Volkenborn integral over $\mathbb Z_p$ of the Bernoulli polynomials to establish recurrence relations on the…

This article, dedicated with admiration in memory of Jon and Peter Borwein, illustrates by example, the power of experimental mathematics, so dear to them both, by experimenting with so-called Apery limits and WZ pairs. In particular we…

In this paper, we employ the Wilf-Zeilberger (WZ) method to prove a supercongruence conjecture posed by Z.-W. Sun: for any prime $p$, \begin{align*} \sum_{k=0}^{\frac{p-3}{2}}\frac{92k^2+61k+9}{(2k+1)64^k}{2k \choose k}{3k \choose k}{4k…

Using the WZ-method we find some of the easiest Ramanujan's formulae and also some new interesting Ramanujan-like sums.

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)…

We give an identity which is conjectured and proved by using an implementation in Multi-WZ.

In this paper we propose an alternative to the coupling of Berkes, Liu and Wu [1] to obtain strong approximations for partial sums of dependent sequences. The main tool is a new Rosen-thal type inequality expressed in terms of the coupling…

Recognizing lexical semantic relations between word pairs is an important task for many applications of natural language processing. One of the mainstream approaches to this task is to exploit the lexico-syntactic paths connecting two…

The applicability or terminating condition for the ordinary case of Zeilberger's algorithm was recently obtained by Abramov. For the $q$-analogue, the question of whether a bivariate $q$-hypergeometric term has a $qZ$-pair remains open. Le…

We introduce the Double leaves basis, a combinatorial basis for the Hom spaces between two Bott-Samelson-Soergel bimodules. As an application we give a combinatorial algorithm to find, for any given Weyl or affine Weyl group, the set of…

In this paper, we present a general method for obtaining addition theorems of the Weierstrass elliptic function $\wp(z)$ in terms of given parameters. We obtain the classical addition theorem for the Weierstrass elliptic function as a…

Following suggestions of T. H. Koornwinder, we give a new proof of Kummer's theorem involving Zeilberger's algorithm, the WZ method and asymptotic estimates. In the first section, we recall a classical proof given by L. J. Slater. The…

We verify new cases of the Arithmetic Fundamental Lemma (AFL) of Wei Zhang. This relies on a recursive algorithm which allows, under certain conditions, to reduce the AFL identity in question to an AFL identity in lower dimension. The main…

We present new, unified proofs for the cell-like, $\mathbb{Z}/p$-, and $\mathbb{Q}$-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems…

In 1980 Otto G. Ruehr made some puzzling comments that a certain identity A, that he proved, is equivalent to another identity B, but he did not explain why they are equivalent. Recently J.-P. Allouche tried to explain why they are…

We show how to prove the examples of a paper by Chu and Zhang using the WZ-algorithm.

We present a computer algebra approach to proving identities on Bernoulli polynomials and Euler polynomials by using the extended Zeilberger's algorithm given by Chen, Hou and Mu. The key idea is to use the contour integral definitions of…

We give some formulas for the ZZ pairing in KO theory using a long exact sequence for bivariant K theory which links real and complex theories. This is discussed under the framework of real structures given by antilinear operators verifying…

In this paper we introduce a simple method of searching for the prime pairs in the famous Goldbach Conjecture. The method, which is based on certain integer identities as well as an observation related to the remainder property, enables us…

We introduce a new approach that allows us to determine the structure of Zhu's algebra for certain vertex operator (super)algebras which admit horizontal $\mathbb{Z} $-grading. By using this method and an earlier description of Zhu's…