Related papers: Three term relations for basic hypergeometric seri…

This paper shows that certain $\,_{3}F_{4}$ hypergeometric functions can be expanded in sums of pair products of $\,_{1}F_{2}$ functions. In special cases, the $\,_{3}F_{4}$ hypergeometric functions reduce to $\,_{2}F_{3}$ functions.…

We investigate sums $K(\vec{x})$ and $L(\vec{x})$ of pairs of (suitably normalized) Saalsch\"utzian ${}_4F_3(1)$ hypergeometric series, and develop a theory of relations among these $K$ and $L$ functions. The function $L(\vec{x})$ has been…

Let $A$ be a set of $N$ vectors in ${\mathbb Z}^n$ and let $v$ be a vector in ${\mathbb C}^N$ that has minimal negative support for $A$. Such a vector $v$ gives rise to a formal series solution of the $A$-hypergeometric system with…

Linear recurrence equations with constant coefficients define the power series coefficients of rational functions. However, one usually prefers to have an explicit formula for the sequence of coefficients, provided that such a formula is…

Multiple elliptic polylogarithms can be written as (multiple) integrals of products of basic hypergeometric functions. The latter are computable, to arbitrary precision, using a q-difference equation and q-contiguous relations.

We study a connection problem between the fundamental systems of solutions at singular points $0$ and $1$ for the generalized hypergeometric equation which is satisfied by the generalized hypergeometric series ${}_nF_{n-1}$. In general, the…

A hypergeometric type equation satisfying certain conditions defines either a finite or an infinite system of orthogonal polynomials. We present in a unified and explicit way all these systems of orthogonal polynomials, the associated…

We construct a family of heptagon relations -- algebraic imitations of five-dimensional Pachner move 3--4, parameterized by simplicial 3-cocycles.

We consider the rational linear relations between real numbers whose squared trigonometric functions have rational values, angles we call ``geodetic''. We construct a convenient basis for the vector space over Q generated by these angles.…

We study the character sums \[\phi_{(m,n)}(a,b)=\sum_{x\in\mathbb{F}_q}\phi\left(x(x^{m}+a)(x^{n}+b)\right),\textrm{ and, } \psi_{(m,n)}(a,b)=\sum_{x\in\mathbb{F}_q}\phi\left((x^{m}+a)(x^{n}+b)\right)\] where $\phi$ is the quadratic…

A summation formula is derived for the hypergeometric series of unit argument ${}_3F_2(1,1,c;d,n+2;1)$, where $n=0, 1, 2, \ldots$ and $\Re (d-c+n)>0$.

The generalized hypergeometric function $_qF_p$ is a power series in which the ratio of successive terms is a rational function of the summation index. The Gaussian hypergeometric functions $_2F_1$ and $_3F_2$ are most common special cases…

Several new identities for elliptic hypergeometric series are proved. Remarkably, some of these are elliptic analogues of identities for basic hypergeometric series that are balanced but not very-well-poised.

With the help of the partial derivative operator and several summation formulas for hypergeometric series, we find three double series for $\pi$. In terms of the operator just stated and several summation formulas for basic hypergeometric…

In solving $q$-difference equations, and in the definition of $q$-special functions, we encounter formal power series in which the $n$th coefficient is of size $q^{-\binom{n}{2}}$ with $q\in(0,1)$ fixed. To make sense of these formal…

We give a survey of elliptic hypergeometric functions associated with root systems, comprised of three main parts. The first two form in essence an annotated table of the main evaluation and transformation formulas for elliptic…

In terms of the analytic continuation method, we prove three transformation formulas involving bilateral basic hypergeometric series. One of them is equivalent to Jouhet's result involving two $_8\psi_8$ series and two $_8\phi_7$ series.

Process theories combine a graphical language for compositional reasoning with an underlying categorical semantics. They have been successfully applied to fields such as quantum computation, natural language processing, linear dynamical…

The Gauss hypergeometric function ${}_2F_1(a,b,c;z)$ can be computed by using the power series in powers of $z, z/(z-1), 1-z, 1/z, 1/(1-z),(z-1)/z$. With these expansions ${}_2F_1(a,b,c;z)$ is not completely computable for all complex…

We present a complete algorithm that computes all hypergeometric solutions of homogeneous linear difference equations and rational solutions of parameterized linear difference equations in the setting of $\Pi\Sigma^*$-fields. More…