Related papers: Nonterminating Basic Hypergeometric Series and the…
Let $F(n,k)$ be a hypergeometric function that may be expressed so that $n$ appears within initial arguments of inverted Pochhammer symbols, as in factors of the form $\frac{1}{(n)_{k}}$. Only in exceptional cases is $F(n, k)$ such that…
An elementary proof is given for a nonterminating "strange" cubic $_7F_6$-series summation formula of Gasper and Rahman, through the modified Abel lemma on summation by parts. As a byproduct, an interesting nonterminating…
The well-known Kummer's formula evaluates the hypergeometric series 2F1(A,B;C;-1) when the relation B-A+C=1 holds. This paper deals with evaluation of 2F1(-1) series in the case when C-A+B is an integer. Such a series is expressed as a sum…
This paper presents a symbolic computation method for automatically transforming $q$-hypergeometric identities to $q$-binomial identities. Through this method, many previously proven $q$-binomial identities, including $q$-Saalsch\"utz's…
We prove a master theorem for hypergeometric functions of Karlsson-Minton type, stating that a very general multilateral U(n) Karlsson-Minton type hypergeometric series may be reduced to a finite sum. This identity contains the…
Zeilberger's algorithm provides a method to compute recurrence and differential equations from given hypergeometric series representations, and an adaption of Almquist and Zeilberger computes recurrence and differential equations for…
The coefficient of x^{-1} of a formal Laurent series f(x) is called the formal residue of f(x). Many combinatorial numbers can be represented by the formal residues of hypergeometric terms. With these representations and the extended…
Wilf-Zeilberger pairs are fundamental in the algorithmic theory of Wilf and Zeilberger for computer-generated proofs of combinatorial identities. Wilf-Zeilberger forms are their high-dimensional generalizations, which can be used for…
We deduce new q-series identities by applying inverse relations to certain identities for basic hypergeometric series. The identities obtained themselves do not belong to the hierarchy of basic hypergeometric series. We extend two of our…
We use both Abel's lemma on summation by parts and Zeilberger's algorithm to find recurrence relations for definite summations. The role of Abel's lemma can be extended to the case of linear difference operators with polynomial…
We develop a theoretical study of non-terminating hypergeometric summations with one free parameter. Composing various methods in complex and asymptotic analysis, geometry and arithmetic of certain transcendental curves and rational…
In this brief note, we show how to apply Kummer's and other quadratic transformation formulas for Gauss' and generalized hypergeometric functions in order to obtain transformation and summation formulas for series with harmonic numbers that…
We give summation formulae for the bilateral basic hypergeometric series ${}_1\psi_1( a; b; q, z )$ through Ramanujan's summation formula, which are generalizations of nontrivial identities found in the physics of three-dimensional Abelian…
Ismail and Wilson derived a generating function for Askey--Wilson polynomials which is given by a product of $q$-Gauss (Heine) nonterminating basic hypergeometric functions. We provide a generalization of that generating function which…
We establish several summation formulae for hypergeometric and basic hypergeometric series involving noncommutative parameters and argument. These results were inspired by a recent paper of J. A. Tirao [Proc. Nat. Acad. Sci. 100 (14)…
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 present some elementary derivations of summation and transformation formulas for q-series, which are different from, and in several cases simpler or shorter than, those presented in the Gasper and Bahman [1990] "Basic Hypergeometric…
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 derive two general transformations for certain basic hypergeometric series from the recurrence formulae for the partial numerators and denominators of two $q$-continued fractions previously investigated by the authors. By then…
An algorithm is presented for generating successive approximations to trigonometric functions of sums of non-commuting matrices. The resulting expressions involve nested commutators of the respective matrices. The procedure is shown to…