相关论文: Proof of some conjectured formulas for 1/pi by Z.-…

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…

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 adopt the "translation" as well as other techniques to express several identities conjectured by Z.-W. Sun in arXiv:1102.5649v47 by means of known formulas for $1/\pi$ involving Domb and other Ap\'ery-like sequences.

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…

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…

New formulas for 1/Pi^2 are found by transforming Guillera's formulas

In this paper, we prove two conjectural supercongruences on the $(p-1)$th Ap\'ery number, which were recently proposed by Z.-H. Sun.

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.

In this paper, using quaternion arithmetic in the ring of Lipschitz integers, we present a proof of Zh\`i-W\v{e}i S\={u}n's "1-3-5 conjecture" for integral solutions, and for all natural numbers greater than a specific constant. This,…

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.

We develop techniques to deal with monotonicity of sequences z_{n+1}/z_n and \sqrt[n]{z_n}. A series of conjectures of Zhi-Wei Sun and of Amdeberhan et al. are verified in certain unified approaches.

In terms of the hypergeometric method, we establish the extensions of two formulas for $1/\pi$ due to Ramanujan [27]. Further, other five summation formulas for $1/\pi$ with free parameters are also derived in the same way.

Several terminating generalizations of Ramanujan's formula for $\frac{1}{\pi}$ with complete WZ proofs are given.

We obtained a new formula for $\pi$.

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

In 1914 S. Ramanujan recorded a list of 17 series for $1/\pi$. We survey the methods of proofs of Ramanujan's formulae and indicate recently discovered generalizations, some of which are not yet proven.

In this paper we prove some new series for $1/\pi$ as well as related congruences. We also raise several new kinds of series for $1/\pi$ and present some related conjectural congruences involving representations of primes by binary…

The author gives the full list of his conjectures on series for powers of $\pi$ and other important constants scattered in some of his public papers or his private diaries. The list contains 234 reasonable conjectural series. On the list…

We report here on the computational verification of a refinement of Zhi-Wei Sun's "1-3-5 conjecture" for all natural numbers up to 105 103 560 126. This, together with a result of two of the authors, completes the proof of that conjecture.

We prove several conjectures made by Z.-W. Sun on the existence of permutations conditioned by certain rational functions. Furthermore, we fully characterize all integer values of the "inverse difference" rational function. Our proofs…