Related papers: Easy Proofs of Some Borwein Algorithms for $\pi$
In this paper we study subsequences of random numbers. In Kamae (1973), selection functions that depend only on coordinates are studied, and their necessary and sufficient condition for the selected sequences to be normal numbers is given.…
The celebrated (First) Borwein Conjecture predicts that for all positive integers~$n$ the sign pattern of the coefficients of the ``Borwein polynomial'' $$(1-q)(1-q^2)(1-q^4)(1-q^5) \cdots(1-q^{3n-2})(1-q^{3n-1})$$ is $+--+--\cdots$. It was…
A series of formula is presented that are all inspired by the Ramanujan Notebooks [6]. One of them appears in the notebooks II about Zeta(3). That formula inspired others that appeared in 1998, 2006 and 2009 on the author's website and…
We revisit several entries from Ramanujan's notebooks which follow from more elementary arguments than a first glance may suggest. Our goal is to demystify these results through more accessible proofs, while also shining some light on the…
We explain the use and set grounds about applicability of algebraic transformations of arithmetic hypergeometric series for proving Ramanujan's formulae for $1/\pi$ and their generalisations.
The hypergeometric formulae designed by Ramanujan more than a century ago for efficient approximation of $\pi$, Archimedes' constant, remain an attractive object of arithmetic study. In this note we discuss some $q$-analogues of…
When Mike Hirschhorn showed us his lovely gem, that gives the simplest-to-date proof of Ramanujan's famous result that p(11n+6) is divisible by 11, we realized that his amazing method can be extended, and taught to a computer, and can prove…
Recently Z.W.Sun found over hundred conjectured formulas for 1/pi. Many of them were proved by H.H.Chan, J.Wan andW.Zudilin (see [3], [8] in the paper). Here we show that several other formulas in [6] are simple transformations of known…
Computing the probability of a formula given the probabilities or weights associated with other formulas is a natural extension of logical inference to the probabilistic setting. Surprisingly, this problem has received little attention in…
In this paper we present an effective method for computing certain real coefficients $\lambda_{n}$ which appear in a criterion for the Riemann hypothesis proved by Xian-Jin Li. With the use of this method a sequence of over three-thousand…
A frequently cited theorem says that for n > 0 and prime p, the sum of the first p n-th powers is congruent to -1 modulo p if p-1 divides n, and to 0 otherwise. We survey the main ingredients in several known proofs. Then we give an…
This paper studies a well-known $\pi$ machine illustrated by Fig.(1). It is shown that the $\pi$ machine can compute digits of $\pi$ if the ratio of block weights, $m_2/m_1$, satisfies certain conditions, and that dynamics of the $\pi$…
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 show with some examples how to prove some Ramanujan-type series for $1/\pi$ in an elementary way by using terminating identities.
Methods for the computation of classical Gaussian quadrature rules are described which are effective both for small and large degree. These methods are reliable because the iterative computation of the nodes has guaranteed convergence, and…
We provide a simple way of searching for formulas of the Bailey--Borwein--Plouffe type together with an algorithm and an implementation in \texttt{sage}. Aside from rediscovering some already known formulas, the method has been used in the…
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…
Since the popularization of the Stiefel manifold for numerical applications in 1998 in a seminal paper from Edelman et al., it has been exhibited to be a key to solve many problems from optimization, statistics and machine learning. In…
Dual Bernstein polynomials find many applications in approximation theory, computational mathematics, numerical analysis and computer-aided geometric design. In this context, one of the main problems is fast and accurate evaluation both of…
We propose a constructive proof for the Ambrosetti-Rabinowitz Mountain Pass Theorem providing an algorithm, based on a bisection method, for its implementation. The efficiency of our algorithm, particularly suitable for problems in high…