Related papers: Proofs of some Ramanujan series for $1/\pi$ using …
We use Zeilberger's algorithm for proving some identities of Ramanujan-type via $_2F_1$ evaluations.
Our main results are a WZ-proof of a new Ramanujan-like series for $1/\pi^2$ and a hypergeometric identity involving three series.
"Divergent" Ramanujan-type series for $1/\pi$ and $1/\pi^2$ provide us with new nice examples of supercongruences of the same kind as those related to the convergent cases. In this paper we manage to prove three of the supercongruences by…
First we give general formulas for proving real or complex Ramanujan series for $1/\pi$. Then, as an example, we apply them for providing complete proofs of the fastest series for $1/\pi$ due to Ramanujan using Russell and Weber modular…
We prove a kind of bilateral semi-terminating series related to Ramanujan-like series for negative powers of $\pi$, and conjecture a type of supercongruences associated to them. We support this conjecture by checking all the cases for many…
We prove some "divergent" Ramanujan-type series for $1/\pi$ and $1/\pi^2$ applying a Barnes-integrals strategy of the WZ-method.
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…
We present several supercongruences that may be viewed as $p$-adic analogues of Ramanujan-type series for $1/\pi$ and $1/\pi^2$, and prove three of these examples.
The known WZ-proofs for Ramanujan-type series related to $1/\pi$ gave us the insight to develop a new proof strategy based on the WZ-method. Using this approach we are able to find more generalizations and discover first WZ-proofs for…
We prove q-analogues of two Ramanujan-type series for $1/\pi$ from $q$-analogues of ordinary WZ pairs.
We make a summary of the different types of proofs adding some new ideas. In addition we conjecture some relations which could be necessary in "modular type proofs" (not still found) of the Ramanujan-like series for 1/\pi^2.
In a famous paper of $1914$ Ramanujan gave a list of $17$ extraordinary formulas for the number $\pi$. In this paper we explain a general method to prove them, based on an original idea of James Wan and in some own ideas.
In this paper we prove theorems related to the Ramanujan-type series for $1/\pi$ (type $_3F_2$) and to the Ramanujan-like series, discovered by the author, for $1/\pi^2$ (type $_5F_4$). Our developments for the cases $_3 F_2$ and $_5 F_4$…
We give an elementary proof of some identities that express the squares of Riemann zeta function at integer points in terms of the series involving hyperbolic functions, digamma function, Bernoulli numbers etc. In this version, inaccuracies…
We use a variant of Wan's method to prove two Ramanujan-Orr type formulas for $1/\pi$. This variant needs to know in advance the formulas for $1/\pi$ that we want to prove, but avoids the need of solving a system of equations.
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 develop an approach to establish $1/\pi$-series from bimodular forms. Utilizing this approach, we obtain new families of $2$-variable $1/\pi$-series associated to Zagier's sporadic Apery-like sequences.
In this paper we want to prove some formulas listed by S. Ramanujan in his paper "Modular equations and approximations to $\pi$" \cite{24} with an elementary method.
In this paper we prove some Ramanujan-type formulas for $1/\pi$ but without using the theory of modular forms. Instead we use the WZ-method created by H. Wilf and D. Zeilberger and find some hypergeometric functions in two variables which…
We define bilateral series related to Ramanujan-like series for $1/\pi^2$. Then, we conjecture a property of them and give some applications.