Related papers: Proofs of some Ramanujan series for $1/\pi$ using …
This report introduces new series and variations of some hypergeometric type identities for fast computing of logarithms $\log\,p$ for small positive integers $p$. These series were found using Wilf Zeilberger (WZ) method and/or integer…
In this we paper we prove several new identities of the Rogers-Ramanujan-Slater type. These identities were found as the result of computer searches. The proofs involve a variety of techniques, including series-series identities, Bailey…
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…
We use the Algortihm Z on partitions due to Zeilberger, in a variant form, to give a combinatorial proof of Ramanujan's $_1\psi_1$ summation formula.
Using a pair of two variable series-product identities recorded by Ramanujan in the lost notebook as inspiration, we find some new identities of similar type. Each identity immediately implies an infinite family of Rogers-Ramanujan type…
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 \{…
We establish some new bilateral double-sum Rogers-Ramanujan identities involving parameters. As applications, these identities yield several new multi-sum Rogers-Ramanujan type identities. Our proofs utilize the theory of basic…
We develop the notion of Wilf-Zeilberger seeds as a powerful framework for generating WZ-pairs and for lifting classical hypergeometric identities to the $q$-setting. As an application, we systematically obtain a large family of…
The document contains an outline of a modular proof for Ramanujan-Chudnovsky identity.
Inspired by the recent pioneering work, dubbed "The Ramanujan Machine" by Raayoni et al. (arXiv:1907.00205), we (automatically) [rigorously] prove some of their conjectures regarding the exact values of some specific infinite continued…
We survey the techniques used in our recent resolution of the Kadison-Singer problem and proof of existence of Ramanujan Graphs of every degree: mixed characteristic polynomials and the method of interlacing families of polynomials. To…
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 show some definite integrals connecting to infinite series, studied in Ramanujan's paper, titled "On question 330 of Professor Sanjana". We present few recursive methods to evaluate these definite integrals in various cases and we…
Ramanujan's series for Pi, that appeared in his famous letter to Hardy, is given a one-line WZ proof.
Using Ramanujan's identities and the Weierstrass-Enneper representation of minimal surfaces and the analogue for Born-Infeld solitons, we derive further non-trivial identities.
We deduce new q-series identities by applying inverse relations to certain identities for basic hypergeometric series. The identities obtained themselves do not belong to the hierarchy of basic hypergeometric series. We extend two of our…
Using a simple classical method we derive bilateral series identities from terminating ones. In particular, we show how to deduce Ramanujan's 1-psi-1 summation from the q-Pfaff-Saalschuetz summation. Further, we apply the same method to our…
We present necessary and sufficient conditions for the termination of linear homogeneous programs. We also develop a complete method to check termination for this class of programs. Our complete characterization of termination for such…
Re presenting the traditional proof of Srinivasa Ramanujan's own favorite series for the reciprocal of $\pi$ :\begin{equation}\frac{1}{\pi} = \frac{\sqrt{8}}{9801} \sum_{n=0}^{+\infty} \frac{(4n)!}{(n!)^4} \frac{1103 + 26390n}{396^{4n}} \;…
In 2015 Cristian-Silviu Radu designed an algorithm to detect identities of a class studied by Ramanujan and Kolberg. This class includes the famous identities by Ramanujan which provide a witness to the divisibility properties of $p(5n+4),$…