Related papers: A WZ proof of Ramanujan's Formula for Pi
We give some restricted sum formulas for double zeta values whose arguments satisfy certain congruence conditions modulo 2 or 6, and also give an application to identities showed by Ramanujan for sums of products of Bernoulli numbers with a…
We prove a polynomial continued fraction identity for the constant $-\pi/4$, conjectured by the Ramanujan Machine project. The proof proceeds by explicitly solving the underlying second-order linear difference equation. We derive a…
Recently, Simon Plouffe has discovered a number of identities for the Riemann zeta function at odd integer values. These identities are obtained numerically and are inspired by a prototypical series for Apery's constant given by Ramanujan:…
Each of Ramanujan's series for $\frac{1}{\pi}$ is of the form $$ \sum_{n=0}^{\infty} z^n \frac{ (a_{1})_{n} (a_{2})_{n} (a_{3})_{n} }{ (b_{1})_{n} (b_{2})_{n} (b_{3})_{n} } (c_{1} n + c_2) $$ for rational parameters such that the difference…
We make explicit a theorem of Pintz concerning the error term in the prime number theorem. This gives an improved version of the prime number theorem with error term roughly square-root of that which was previously known. We apply this to a…
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…
The first known $q$-analogues for any of the $17$ formulas for $\frac{1}{\pi}$ due to Ramanujan were introduced in 2018 by Guo and Liu (J. Difference Equ. Appl. 29:505-513, 2018), via the $q$-Wilf-Zeilberger method. Through a…
Plouffe conjectured rapidly converging series formulas for $\pi^{2n+1}$ and $\zeta (2n+1)$ for small values of $n$. We find the general pattern for all nonnegative integer values of $n$ and offer a proof.
Let $Z(t)$ be the classical Hardy function in the theory of the Riemann zeta-function. The main result in this paper is that if the Riemann hypothesis is true then for any positive integer $n$ there exists a $t_{n}>0$ such that for…
The Ramanujan polynomials were introduced by Ramanujan in his study of power series inversions. In an approach to the Cayley formula on the number of trees, Shor discovers a refined recurrence relation in terms of the number of improper…
By extending the author's prior work to the family case, this paper presents a new proof of the gluing formula for the analytic torsion forms, considerably simplifying the proof given by Puchol-Zhang-Zhu.
In a recent work on Euler-type formulae for even Dirichlet beta values, i.e. $\beta{(2n)}$, I have derived an exact closed-form expression for a class of zeta series. From this result, I have conjectured closed-form summations for two…
An analog of the Riemann hypothesis is proved in this paper. Some new integral equations for the functions $\pi(x)$ and $R(x)$ follows. A new effect that is shown is that these function - with essentially different behavior - are the…
Based on the WZ method, some series acceleration formulas are given. These formulas allow to write down an infinite family of parametrized identities from any given identity of WZ type. Further, this family, in the case of the Riemann Zeta…
We give an identity which is conjectured and proved by using an implementation in Multi-WZ.
General summation formulas have been proved to be very useful in analysis, number theory and other branches of mathematics. The Lipschitz summation formula is one of them. In this paper, we give its application by providing a new…
We prove an interpolation result for homogeneous polynomials over the integers, or more generally for PIDs with finite residue fields. Previous proofs of this result use the well-known but nontrivial fact that class groups of rings of…
Ramanujan's Master theorem states that, under suitable conditions, the Mellin transform of a power series provides an interpolation formula for the coefficients of this series. Based on the duality of Riemannian symmetric spaces of compact…
A family of original formulae for computing number PI and its proof are presented. An algorithm is proposed to validate the results of this new algorithm.
While examples of Ramanujan-type congruences are amply available via their relation to Hecke operators, it remains unclear which of them should be considered of combinatorial origin and which of them are mere artifacts of the connection…