Related papers: Ramanujan type $1/\pi$ Approximation Formulas
We study the convergence of type I Hermite-Pad\'e approximation for a class of meromorphic functions obtained by adding a vector of rational functions with real coefficients to a Nikishin system of functions.
A number theoretical model of $1/f$ noise found in phase locked loops is developed. The dynamics of phases and frequencies involved in the nonlinear mixing of oscillators and the low-pass filtering is formulated thanks to the rules of the…
An algorithm for computing /pi(N) is presented.It is shown that using a symmetry of natural numbers we can easily compute /pi(N).This method relies on the fact that counting the number of odd composites not exceeding N suffices to calculate…
We generalize certain recent results of Ushiroya concerning Ramanujan expansions of arithmetic functions of two variables. We also show that some properties on expansions of arithmetic functions of one and several variables using classical…
In this short note we use the umbral formalism to derive the Ramanujan Master Theorem and discuss its extension to more general cases.
We give new nested radical equations of similar kind to Ramanujan's questions to the Indian Mathematical Society 100 years ago. While many have since considered these from the perspectives of the Notebooks of Ramanujan and from the theory…
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…
The goal of this work is to formulate a systematical method for looking for the simple closed form or continued fraction representation of a class of rational series. As applications, we obtain the continued fraction representations for the…
We give congruences between the Eisenstein series and a cusp form in the cases of Siegel modular forms and Hermitian modular forms. We should emphasize that there is a relation between the existence of a prime dividing the $k-1$-th…
We describe an approximate rational arithmetic with round-off errors (both absolute and relative) controlled by the user. The rounding procedure is based on the continued fraction expansion of real numbers. Results of computer experiments…
We define the syntax and reduction relation of a recursively typed lambda calculus with a parallel case-function (a parallel conditional). The reduction is shown to be confluent. We interpret the recursive types as information systems in a…
In this paper I study Ramanujan hypergraps and both abstract and explicit constructions is given.
Session types capture precise protocol structure in concurrent programming, but do not specify properties of the exchanged values beyond their basic type. Refinement types are a form of dependent types that can address this limitation,…
We prove a number of new Rogers-Ramanujan type identities involving double, triple and quadruple sums. They were discovered after an extensive search using Maple. The main idea of proofs is to reduce them to some known identities in the…
Infinite series are evaluated through the manipulation of a series for $\cos(2t \sin^{-1}x)$ resulting from Clausen's Product. Hypergeometric series equal to an expression involving $\frac{1} {\pi}$ are determined. Techniques to evaluate…
We prove a polynomial continued fraction identity for the constant $-\pi/4$, conjectured by the Ramanujan Machine project. The proof proceeds by explicitly solving the underlying second-order linear difference equation. We derive a…
We study Ramanujan's cubic continued fraction and explicit evaluations of theta-functions
We summarize our recent work [1-3] concerning the formulation of two-particle-irreducible (2PI) functional techniques for abelian gauge field theories.
We present a new method for producing series for $1/\pi$ and other constants using Legendre's relation, starting from a generation function that can be factorised into two elliptic $K$'s; this way we avoid much of modular theory or creative…
Recently, the authors with Lea Beneish established a recipe for constructing Ramanujan-Sato series for $1/\pi$, and used this to construct 11 explicit examples of Ramanujan-Sato series arising from modular forms for arithmetic triangle…