Related papers: Nonterminating Basic Hypergeometric Series and the…
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 present efficient methods for calculating linear recurrences of hypergeometric double sums and, more generally, of multiple sums. In particular, we supplement this approach with the algorithmic theory of contiguous relations, which…
In this paper we study a geometric coding algorithm for indefinite binary quadratic forms Q for the congruence subgroup \Gamma^0(N), with respect to the usual fundamental domain FN, where N is assumed prime. The cycles Q_1, . . ., Q_n that…
A variation of Zeilberger's holonomic ansatz for symbolic determinant evaluations is proposed which is tailored to deal with Pfaffians. The method is also applicable to determinants of skew-symmetric matrices, for which the original…
Various methods to obtain the analytic continuation near $z=1$ of the hypergeometric series $_{p+1}F_p(z)$ are reviewed together with some of the results. One approach is to establish a recurrence relation with respect to $p$ and then,…
A proof of an unusual summation formula for a basic hypergeometric series associated to the affine root system $\tilde A_n$ that was conjectured by Warnaar is given. It makes use of Milne's $A_n$ extension of Watson's transformation,…
In this article, we exhaustively explore the terminating basic hypergeometric representations and transformations of the $q$ and $q^{-1}$-symmetric subfamilies of the Askey--Wilson polynomials. These subfamilies are obtained by repeatedly…
In this paper, we obtain recursion formulas for the Kamp\'e de Fe\'riet hypergeometric matrix function. We also give finite and infinite summation formulas for the Kamp\'e de Fe\'riet hypergeometric matrix function.
We prove hypergeometric type identities for a function defined in terms of quotients of the $p$-adic gamma function. We use these identities to prove a supercongruence conjecture of Rodriguez-Villegas between a truncated $_4F_3$…
In this article we continue to explore the notion of Rota-Baxter algebras in the context of the Hopf algebraic approach to renormalization theory in perturbative quantum field theory. We show in very simple algebraic terms that the…
In this paper, a quantum computational framework for algebraic topology based on simplicial set theory is presented. This extends previous work, which was limited to simplicial complexes and aimed mostly to topological data analysis. The…
We prove upper bounds for the Hilbert-Samuel multiplicity of standard graded Gorenstein algebras. The main tool that we use is Boij-S\"oderberg theory to obtain a decomposition of the Betti table of a Gorenstein algebra as the sum of…
We use an integral method to establish a number of Rogers-Ramanujan type identities involving double and triple sums. The key step for proving such identities is to find some infinite products whose integrals over suitable contours are…
We provide elliptic extensions of elementary identities such as the sum of the first $n$ odd or even numbers, the geometric sum and the sum of the first $n$ cubes. Many such identities, and their $q$-analogues, are indefinite sums, and can…
We use the method of tiling to give elementary combinatorial proofs of some celebrated $q$-series identities, such as Jacobi triple product identity, Rogers-Ramanujan identities, and some identities of Rogers. We give a tiling proof of the…
Motivated by the substantial development of the special functions, we contribute to establish some rigorous results on the general series identities with bounded sequences and hypergeometric functions with different arguments, which are…
We propose a new iterative scheme to compute the numerical solution to an over-determined boundary value problem for a general quasilinear elliptic PDE. The main idea is to repeatedly solve its linearization by using the quasi-reversibility…
We extend the (continuous) multivariate Almkvist-Zeilberger algorithm in order to apply it for instance to special Feynman integrals emerging in renormalizable Quantum field Theories. We will consider multidimensional integrals over…
In terms of several summation and transformation formulas for basic hypergeometric series, two forms of the Chinese remainder theorem for coprime polynomials, the creative microscoping method introduced by Guo and Zudilin, Guo and Li's…
We state and prove a number of unilateral and bilateral $q$-series identities and explore some of their consequences. Those include certain generalizations of the $q$-binomial sum which also generalize the $q$-Airy function introduced by…