Related papers: Holonomic alchemy and series for $1/\pi$
Recently Z.W.Sun found over hundred conjectured formulas for 1/pi. Many of them were proved by H.H.Chan, J.Wan andW.Zudilin (see [3], [8] in the paper). Here we show that several other formulas in [6] are simple transformations of known…
Polynomial reduction, designed first for hypergeometric terms, can be used to automatically prove and generate new hypergeometric identities from old ones. In this paper, we extend the reduction method to holonomic sequences. As…
In this note, we evaluate a series for $1/\pi$ conjectured by Sun. Our proof uses the Cauchy product and hypergeometric transformations. From this result, we derive two additional analogous series for $1/\pi$ involving polynomials of degree…
We show that a binomial identity arising in the context of the study of series expansions of $1/\pi$ can be seen as an incarnation of Whipples second theorem for hypergeometric series.
A binomial coefficient identity due to Zhi-Wei Sun is the subject of half a dozen recent papers that prove it by various analytic techniques and establish a generalization. Here we give a simple proof that uses weight-reversing involutions…
According to the $q$-series method, a short proof for Hou and Sun's identity, which is the $q$-analogue of a known $\pi$-formula, is offered. Furthermore, $q$-analogues of several other $\pi$-formulas are also established in terms of the…
By applying the derivative operator to the known identities from hypergeometric series or WZ pairs, we obtain seven series associated with harmonic numbers. Specifically, six of them are Ramanujan-like formulas for $1/\pi$ and the remaining…
We prove some supercongruence and divisibility results on sums involving Domb numbers, which confirm four conjectures of Z.-W. Sun and Z.-H. Sun. For instance, by using a transformation formula due to Chan and Zudilin, we show that for any…
Given a convergent sequence of nodes we present a one-dimensional-holomorphic-function version of the Newton interpolation method of polynomials. It also generalises the Taylor and the Laurent formula. In other words, we present an…
In this paper, we will give another proof of Zhi-Wei Sun's three conjectures on Ap\'{e}ry-like sums involving harmonic numbers by proving some identities among special values of multiple polylogarithms.
We give a proof of two identities involving binomial sums at infinity conjectured by Z-W Sun. In order to prove these identities, we use a recently presented method i.e. we view the series as specializations of generating series and derive…
In terms of the operator method, we prove two conjectural series for $\pi$ of Sun involving harmonic numbers of order two. Furthermore, we also give $q$-analogues of six $\pi$-formulas including the two ones just mentioned.
We outline an elementary method for proving numerical hypergeometric identities, in particular, Ramanujan-type identities for $1/\pi$. The principal idea is using algebraic transformations of arithmetic hypergeometric series to translate…
A doubly infinite set of series expansion for $1/\pi$ are reported. They follow trivially from a formal expansion for the quotient of the values taken by the gamma function for two (complex) arguments differing by an integer plus one half,…
In this work, we establish modular parameterizations for two general formulas for $\frac{1}{\pi}$ that subsume conjectural Ramanujan type formulas due to Z.-W. Sun, which have remained open since 2011. As an application of this, in a…
The document contains an outline of a modular proof for Ramanujan-Chudnovsky identity.
In recent years, Z.-W. Sun proposed several sophisticated conjectures on congruences for finite sums with terms involving combinatorial sequences such as central trinomial coefficients, Domb numbers and Franel numbers. These sums are double…
In this paper, we will prove Zhi-Wei Sun's four conjectural identities on Ap\'{e}ry-like sums involving Lucas sequences and harmonic numbers by using a few results of Davydychev--Kalmykov.
We consider binomial and inverse binomial sums at infinity and rewrite them in terms of a small set of constants, such as powers of $\pi$ or $\log(2)$. In order to perform these simplifications, we view the series as specializations of…
We derive the recurrence relations for relativistic Coulomb integrals directly from the integral representations with the help of computer algebra methods. In order to manage the computational complexity of this problem, we employ holonomic…