Related papers: Algorithms for the indefinite and definite summati…

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

Harmonic sums and their generalizations are extremely useful in the evaluation of higher-order perturbative corrections in quantum field theory. Of particular interest have been the so-called nested sums,where the harmonic sums and their…

Let $a, b,c $ and $k$ be positive integers such that $1\leq a\leq b,a<c<2(a+b), c\ne b$ and $(a,b,c)=1$. Define the arithmetic function $f_k(a,b;c;n)$ by $$ \sum_{n=1}^{\infty}\frac{f_k(a,b;c;n)}{n^s}=\frac{\zeta (as)\zeta…

Hofstadter's G function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, we vary the number $k$ of nested recursive calls in this equation and obtain a family of functions $(F\_k)$. Here we establish…

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…

Hypergeometric functions and their generalizations play an important r\^{o}les in diverse applications. Many authors have been established generalizations of hypergeometric functions by a number ways. In this paper, we aim at establishing…

In this paper we introduce the Two Parameter Gamma Function, Beta Function and Pochhammer Symbol. We named them, as p - k Gamma Function, p - k Beta Function and p - k Pochhammer Symbol and denoted as $_{p}\Gamma_{k}(x), $ $_{p}B_{k}(x,y) $…

In this article algorithmic methods are presented that have essentially been introduced into computer algebra systems like Mathematica within the last decade. The main ideas are due to Stanley and Zeilberger. Some of them had already been…

Chu and Zhang, in 2014, introduced hypergeometric transforms derived through the application of an Abel-type summation lemma to Dougall's ${}_{5}H_{5}$-series. These transforms were applied by Chu and Zhang to obtain accelerated rates of…

It turned out that the partial sums $g_n(z) = \sum_{k=0}^n \frac{(a_1)_k ... (a_p)_k}{(b_1)_k ... (b_q)_k} \frac{z^k}{k!}$, of the generalized hypergeometric series ${}_p F_q(a_1,...,a_p; b_1,...,b_q;z)$, with parameters…

In this paper, we derive a new reconstruction method for real non-harmonic Fourier sums, i.e., real signals which can be represented as sparse exponential sums of the form $f(t) = \sum_{j=1}^{K} \gamma_{j} \, \cos(2\pi a_{j} t + b_{j})$,…

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…

With the help of computer algebra we study the diagonal matrix elements <Or^p>, where O are the standard Dirac matrix operators and the angular brackets denote the quantum-mechanical average for the relativistic Coulomb problem. Using…

We present a new algorithm to decompose generic spinor polynomials into linear factors. Spinor polynomials are certain polynomials with coefficients in the geometric algebra of dimension three that parametrize rational conformal motions.…

The main goal of this paper is to derive a number of identities for the generalized hypergeometric function evaluated at unity and for certain terminating multivariate hypergeometric functions from the symmetries and other properties of…

This paper shows that certain $\,_{3}F_{4}$ hypergeometric functions may be expanded in sums of pair products of $\,_{2}F_{3}$ functions. This expands the class of hypergeometric functions having summation theorems beyond those expressible…

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 define an enumerative function F(n,k,P,m) which is a generalization of binomial coefficients. Special cases of this function are also power function, factorials, rising factorials and falling factorials. The first section of the paper is…

We recall that diagonals of rational functions naturally occur in lattice statistical mechanics and enumerative combinatorics. We find that a seven-parameter rational function of three variables with a numerator equal to one (reciprocal of…

In this paper, we consider rational hypergeometric series of the form \[\frac{p}{\pi}= \sum_{k=0}^\infty u_k\quad\text{with}\quad u_k=\frac{\left(\frac{1}{2}\right)_k \left(q\right)_k \left(1-q\right)_k}{(k!)^3}(r+s\,k)\,t^k,\] where…