Related papers: A Telescoping method for Double Summations
We consider a class of sums over products of Z-sums whose arguments differ by a symbolic integer. Such sums appear, for instance, in the expansion of Gauss hypergeometric functions around integer indices that depend on a symbolic parameter.…
We prove hypergeometric type summation identities for a function defined in terms of quotients of the $p$-adic gamma function by counting points on certain families of hyperelliptic curves over $\mathbb{F}_{q}$. We also find certain special…
We find exact identities for sums of the form \begin{equation*}\label{eq:convsumabs} \sum_{\stackrel{n_1+n_2 = n}{n_1 \in \mathbb{Z} \setminus \{ 0, n \} }} Q(n_1,n_2) \sigma_{-r_1}(n_1) \sigma_{-r_2}(n_2), \end{equation*} where…
We give an extension of Sister Celine's method of proving hypergeometric sum identities that allows it to handle a larger variety of input summands. We then apply this to several problems. Some give new results, and some reprove already…
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 present a new method for finding identities for hypergeoemtric series, such as the (Gauss) hypergeometric series, the generalized hypergeometric series and the Appell-Lauricella hypergeometric series. Furthermore, using…
We present two algorithms for computing hypergeometric solutions of second order linear differential operators with rational function coefficients. Our first algorithm searches for solutions of the form \[ \exp(\int r \,…
Using generalized hypergeometric functions to perform symbolic manipulation of equations is of great importance to pure and applied scientists. There are in the literature a great number of identities for the Meijer-G function. On the other…
Identities involving finite sums of products of hypergeometric functions and their duals have been studied since 1930s. Recently Beukers and Jouhet have used an algebraic approach to derive a very general family of duality relations. In…
This paper argues that automated proofs of identities for non-terminating hypergeometric series are feasible by a combination of Zeilberger's algorithm and asymptotic estimates. For two analogues of Saalsch\"utz' summation formula in the…
In this paper, we first quickly review the basics of an algebro-geometric method of Karaji's L-summing technique in today's modern language of algebra. Then, we also review the theory of Gosper's algorithm as a decision procedure for…
We prove new double summation hypergeometric $q$-series representations for several families of partitions, including those that appear in the famous product identities of G\"ollnitz, Gordon, and Schur. We give several different proofs for…
As the $q$-analog of Chebyshev polynomials, $q$-Hermite polynomials form a cornerstone in the family of $q$-orthogonal polynomials, which play a fundamental role in quantum algebra and mathematical physics. Recently, Andrews obtained a…
We prove four new Rogers-Ramanujan-type identities for double series. They follow from the classical Rogers-Ramanujan identities using the constant term method and properties of Rogers-Szeg\H{o} polynomials.
From the algebraic solution of $x^{n}-x+t=0$ for $n=2,3,4$ and the corresponding solution in terms of hypergeometric functions, we obtain a set of reduction formulas for hypergeometric functions. By differentiation and integration of these…
Given complex numbers $m_1,l_1$ and nonnegative integers $m_2,l_2$, such that $m_1+m_2=l_1+l_2$, for any $a,b=0, ... ,\min(m_2,l_2)$ we define an $l_2$-dimensional Barnes type q-hypergeometric integral $I_{a,b}(z,\mu;m_1,m_2,l_1,l_2)$ and…
We present algorithms to evaluate two types of multiple sums, which appear in higher-order loop computations. We consider expansions of a generalized hypergeometric-type sums, $\sum_{n_1,...,n_N} [Gamma(a1.n+c1) Gamma(a2.n}+c2) ...…
Following the method of combinatorial telescoping for alternating sums given by Chen, Hou and Mu, we present a combinatorial telescoping approach to partition identities on sums of positive terms. By giving a classification of the…
Reduction formulas for sums of products of hypergeometric functions can be traced back to Euler. This topic has an intimate connection to summation and transformation formulas, contiguous relations and algebraic properties of the…
A simple proof of a new summation formula for a terminating r+3Fr+2(1) hypergeometric series, representing an extension of Saalschutz's formula for a 3F2(1) series, is given for the case of r pairs of numeratorial and denominatorial…