相关论文: Proof of Chudnovskys' series for $1/\pi$

The document contains an outline of a modular proof for Ramanujan-Chudnovsky identity.

Using the Wolfram NumberTheory package and the Recognize command, together with numerical estimates involving the elliptic lambda and elliptic alpha functions, Bagis and Glasser, in 2013, introduced a conjectural Ramanujan-type series…

In a well-known 1914 paper, Ramanujan gave a number of rapidly converging series for $1/\pi$ which are derived using modular functions of higher level. D. V. and G. V. Chudnovsky in their 1988 paper derived an analogous series representing…

We apply the method established in our previous work to derive a Chudnovsky-Ramanujan type formula for the Legendre family of elliptic curves. As a result, we prove two identities for $1/\pi$ in terms of hypergeometric functions.

Using an infinite family of generalizations of the Chudnovsky brothers' series recently obtained via the analytic continuation of the Borwein brothers' formula for Ramanujan-type series of level 1, we apply the Gauss-Salamin-Brent iteration…

We show with some examples how to prove some Ramanujan-type series for $1/\pi$ in an elementary way by using terminating identities.

We develop a uniform method to derive Chudnovsky-Ramanujan type formulae for triangle groups based on a generalization of a method of Chudnovsky and Chudnovsky; in particular, we carry out the method systematically for non-compact…

We prove q-analogues of two Ramanujan-type series for $1/\pi$ from $q$-analogues of ordinary WZ pairs.

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 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 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$…

Using a modular equation of level $3$ and degree $23$ due to Chan and Liaw, we prove the fastest convergent rational Ramanujan-type series for $1/\pi$ of level $3$.

A Ramanujan-type series satisfies $$ \frac{1}{\pi} = \sum_{n=0}^{\infty} \frac{\left( \frac{1}{2} \right)_{n} \left( \frac{1}{s} \right)_{n} \left(1 - \frac{1}{s} \right)_{n} }{ \left( 1 \right)_{n}^{3} } z^{n} (a + b n), $$ where $s \in \{…

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.

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 two new series of Ramanujan type for $1/\pi^2$.

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.

We derive 10 new Ramanujan-Sato series of $1/\pi$ by using the method of Huber, Schultz and Ye. The levels of these series are 14, 15, 16, 20, 21, 22, 26, 35, 39.

Our main results are a WZ-proof of a new Ramanujan-like series for $1/\pi^2$ and a hypergeometric identity involving three series.

We prove a Ramanujan-type formula for $520/\pi$ conjectured by Sun. Our proof begins with a hypergeometric representation of the relevant double series, which relies on a recent generating function for Legendre polynomials by Wan and…