Related papers: Algorithms for the indefinite and definite summati…
Kummer's function, also known as the confluent hypergeometric function (CHF), is an important mathematical function, in particular due to its many special cases, which include the Bessel function, the incomplete Gamma function and the error…
Recursive formulas extending some known $_{2}F_{1}$ and $_{3}F_{2}$ summation formulas by using contiguous relations have been obtained. On the one hand, these recursive equations are quite suitable for symbolic and numerical evaluation by…
By some hypergeometric summation theorems, the authors establish a series of new infinite summation formulas involving generalized harmonic numbers related to Riemann-Zeta function, with three different patterns.
This report introduces new series and variations of some hypergeometric type identities for fast computing of logarithms $\log\,p$ for small positive integers $p$. These series were found using Wilf Zeilberger (WZ) method and/or integer…
The $n$th partial sum of an analytic function $f(z)=z+\sum_{k=2}^\infty a_k z^k$ is the polynomial $f_n(z):=z+\sum_{k=2}^n a_k z^k$. A survey of the univalence and other geometric properties of the $n$th partial sum of univalent functions…
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 use visible point vector identities to examine polylogarithms in the neighbourhood of the Riemann zeta function zeroes. New formulas limiting to the trivial zeroes and to the critical line on the zeta function are given. Similar results…
We characterize a holomorphic positive definite function $f$ defined on a horizontal strip of the complex plane as the Fourier-Laplace transform of a unique exponentially finite measure on $\mathbb{R}$. The classical theorems of Bochner on…
A real-valued sequence $f = \{ f(n) \}_{n \in \mathbb{N}}$ is said to be second-order holonomic if it satisfies a linear recurrence $f (n + 2) = P (n) f (n + 1) + Q (n) f (n)$ for all sufficiently large $n$, where $P, Q \in \mathbb{R}(x)$…
Sum of powers 1^p+...+n^p, with n and p being natural numbers and n>=1, can be expressed as a polynomial function of n of degree p+1. Such representations are often called Faulhaber formulae. A simple recursive algorithm for computing…
We present recent computer algebra methods that support the calculations of (multivariate) series solutions for (certain coupled systems of partial) linear differential equations. The summand of the series solutions may be built by…
Hofstadter's $G$ function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, a family $(F_k)$ of similar functions is obtained by varying the number $k$ of nested recursive calls in this equation. We…
We give all possible holomorphic Eisenstein series on $\Gamma_0(p)$, of rational weights greater than $2$, and with multiplier systems the same as certain rational-weight eta-quotients at all cusps. We prove they are modular forms and give…
By means of inversion techniques and several known hypergeometric series identities, summation formulas for Fox-Wright function are explored. They give some new hypergeometric series identities when the parameters are specified.
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…
With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilberger's "holonomic systems approach" in a broader mathematical sense is less common in the field of q-series and basic hypergeometric…
The generalized hyperharmonic numbers $h_n^{(m)}(k)$ are defined by means of the multiple harmonic numbers. We show that the hyperharmonic numbers $h_n^{(m)}(k)$ satisfy certain recurrence relation which allow us to write them in terms of…
We elaborate on the expansion of hypergeometric functions about rational parameters, where we focus mainly on the integer and half-integer case. The strategy and the basic steps of a recently developed algorithm for the expansion about…
Mathematical functions, which often appear in mathematical analysis, are referred to as special functions and have been studied over hundreds of years. Many books and dictionaries are available that describe their properties and serve as a…
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…