Related papers: Proofs of some Ramanujan series for $1/\pi$ using …
Ramanujan wrote the following identity \begin{align*} \sqrt{2 \left(1 - \frac{1}{3^2}\right) \left(1 - \frac{1}{7^2}\right) \left(1 - \frac{1}{11^2}\right) \left(1 - \frac{1}{19^2}\right)} \ = \ \left(1 + \frac{1}{7}\right) \left(1 +…
Mendes recently conjectured an identity simplifying the Poincar\'e series of the space of equivariant polynomial maps from $\mathbb{R}^{n}$ to a subrepresentation of $Sym^{2}(\mathbb{R}^{n})$. We show how to prove this identity using a…
We give $q$-analogues of the following two Ramanujan-type formulas for $1/\pi$: \begin{align*} \sum_{k=0}^\infty (6k+1)\frac{(\frac{1}{2})_k^3}{k!^3 4^k} =\frac{4}{\pi} \quad\text{and}\quad \sum_{k=0}^\infty…
We prove an infinite family of linear identities for the number $A_5(n)$ of partition pairs of $n$ with $5$-cores by using certain theta function identities involving the Ramanujan's parameter $k(q)$ due to Cooper, and Lee and Park.…
The theory of Mellin transform is an incredibly useful tool in evaluating some of the well known results for the zeta function. Ramanujan in his quarterly reports \cite{1} gave a theorem for Mellin transform which is now known as…
In this paper, we employ the theories and techniques of hypergeometric functions to provide two distinct proofs of the conjectured identities involving multiple Ap\'ery-like series with central binomial coefficients and multiple harmonic…
The Ramanujan Machine project predicts new continued fraction representations of numbers expressed by important mathematical constants. Generally, the value of a continued fraction is found by reducing it to a second order linear difference…
We prove identities for six infinite series whose values involve linear combinations of $\pi$ and $\operatorname{ln} 2$, that do not appear in standard infinite series references.
In this series of seven papers, predominantly by means of elementary analysis, we establish a number of identities related to the Riemann zeta function. Whilst this paper is mainly expository, some of the formulae reported in it are…
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,…
Mizuno provided 19 examples of generalized rank three Nahm sums with symmetrizer $\mathrm{diag}(1,1,2)$ which are conjecturally modular. We confirm their modularity by establishing Rogers--Ramanujan type identities of index $(1,1,2)$ for…
We generalize the "motivated proof" of the Rogers-Ramanujan identities given by Andrews and Baxter to provide an analogous "motivated proof" of Gordon's generalization of the Rogers-Ramanujan identities. Our main purpose is to provide…
We give new proofs of the twelve Rogers-Ramanujan-type identities due to Rogers and Slater that are traditionally associated with the moduli 7, 14 and 28.
This paper studies Zeilberger's two prized constant term identities. For one of the identities, Zeilberger asked for a simple proof that may give rise to a simple proof of Andrews theorem for the number of totally symmetric self…
In a recent article, Apagodu and Zeilberger (http://arxiv.org/abs/1606.03351)discuss some applications of an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequence. At the…
We state and prove a number of unilateral and bilateral $q$-series identities and explore some of their consequences. Those include certain generalizations of the $q$-binomial sum which also generalize the $q$-Airy function introduced by…
We present a type system to guarantee termination of pi-calculus processes that exploits input/output capabilities and subtyping, as originally introduced by Pierce and Sangiorgi, in order to analyse the usage of channels. We show that our…
The product sides of the Rogers--Ramanujan identities and alike often appear to be "transparently modular" (functions). The old work by Rogers (1894) and recent work by Rosengren make use (somewhat implicitly) of this fact for proving the…
Using the WZ-method we find some of the easiest Ramanujan's formulae and also some new interesting Ramanujan-like sums.
In this series of seven papers, predominantly by means of elementary analysis, we establish a number of identities related to the Riemann zeta function. Whilst this paper is mainly expository, some of the formulae reported in it are…