Related papers: Some binomial series obtained by the WZ-method
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…
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 utilize the Wilf-Zeilberger (WZ) method to establish congruences related to truncated Ramanujan-type series. By constructing hypergeometric terms $f(k, a, b, \ldots)$ with Gosper-summable differences and selecting appropriate parameters,…
Several terminating generalizations of Ramanujan's formula for $\frac{1}{\pi}$ with complete WZ proofs are given.
Ramanujan's series for Pi, that appeared in his famous letter to Hardy, is given a one-line WZ proof.
Explicit formulas involving a generalized Ramanujan sum are derived. An analogue of the prime number theorem is obtained and equivalences of the Riemann hypothesis are shown. Finally, explicit formulas of Bartz are generalized.
Ramanujan derived the well known divergent-sum of integers in more than one way. We generalise the informal method to higher powers of the Riemann zeta function through a study of the Eulerian numbers in particular. Within the context of…
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…
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 "divergent" Ramanujan-type series for $1/\pi$ and $1/\pi^2$ applying a Barnes-integrals strategy of the WZ-method.
Modifying an idea of E. Brietzke we give simple proofs for the recurrence relations of some sequences of binomial sums which have previously been obtained by other more complicated methods.
In this paper we present experimental ways of evaluating Ramanujan`s quantities which as someone can see are related with algebraic numbers. The good thing with algebraic numbers is that can be found in a closed form, from there…
A Ramanujan-type formula involving the squares of odd zeta values is obtained. The crucial part in obtaining such a result is to conceive the correct analogue of the Eisenstein series involved in Ramanujan's formula for $\zeta(2m+1)$. The…
In this short research note, we aim to establish an interesting extension of a summation due to Ramanujan.The result is derived with the help of an extension of Gauss's summation theorem available in the literature.
We prove, by the WZ-method, some hypergeometric identities which relate ten extended Ramanujan type series to simpler hypergeometric series. The identities we are going to prove are valid for all the values of a parameter $a$ when they are…
The Ramanujan Machine project detects new expressions related to constants of interest, such as $\zeta$ function values, $\gamma$ and algebraic numbers (to name a few). In particular the project lists a number of conjectures involving even…
We give a simple proof and a multivariable generalization of an identity due to E. Alkan concerning a weighted average of the Ramanujan sums. We deduce identities for other weighted averages of the Ramanujan sums with weights concerning…
We shall make use of the method of partial fractions to generalize some of Ramanujan's infinite series identities, including Ramanujan's famous formula for $\zeta(2n+1)$, and we shall also give a generalization of the transformation formula…
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 use Zeilberger's algorithm for proving some identities of Ramanujan-type via $_2F_1$ evaluations.