相关论文: Madhava's Pi-Series in the Modern Context
In his 1685 paper "Observationes cyclometricae" published in Acta Eruditorum, Adam Adamandy Kocha\'nski presented an approximate ruler-and-compass construction for rectification of the circle. It is not generally known that the first part…
About 40 years ago Jonathan and Peter Borwein discovered the series identity $$ \sum_{n=0}^\infty \frac{(-1)^n(6n)!}{(3n)!(n!)^3} \frac{(A+nB)}{C^{n+1/2}} = \frac{1}{12\pi} $$ where \begin{align*} A&=1657145277365+212175710912\sqrt{61},\cr…
In this paper we prove theorems related to the Ramanujan-type series for $1/\pi$ (type $_3F_2$) and to the Ramanujan-like series, discovered by the author, for $1/\pi^2$ (type $_5F_4$). Our developments for the cases $_3 F_2$ and $_5 F_4$…
The origin of the numerals that we inherited from the arabo-Islamic civilization remained one enigma. The hypothesis of the Indian origin remained, with controversies, without serious rival. It was the dominant hypothesis since more of one…
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages based on equational logics, knowledge is typically…
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…
This paper presents a proof of the following conjecture, stated by Nishizawa in [Appl. Math. Comput. 269, (2015), 146--154.]: for $\displaystyle 0<x<\pi/2$ the inequality $ \displaystyle \frac{\sin{x}}{x} \!>\! \left(\frac{2}{\pi} +…
Borwein integrals are one of the most popularly known phenomena in contemporary mathematics. They were found in 2001 by David Borwein and Jonathan Borwein and consist of a simple family of integrals involving the cardinal sine function…
Contribution of Indian Mathematics since Vedic Period has been recognised by the Historians. Pingala (200 BC) in his book on 'Chandashaastra', a text related to the description and analysis of meters in poetic work, describes algorithms…
Fundamental mathematical constants like $e$ and $\pi$ are ubiquitous in diverse fields of science, from abstract mathematics to physics, biology and chemistry. For centuries, new formulas relating fundamental constants have been scarce and…
One of the most important principles of J.-Y. Girard's $\Pi^1_2$-logic is induction on dilators. In particular, Girard used this principle to construct his famous functor $\Lambda$. He claimed that the totality of $\Lambda$ is equivalent to…
We consider the problem of slicing a compact metric space \Omega with sets of the form \pi_{\lambda}^{-1}\{t\}, where the mappings \pi_{\lambda} \colon \Omega \to \R, \lambda \in \R, are \emph{generalized projections}, introduced by Yuval…
Let F be a non-archimedean local field and G be the group GL(N,F). Let \pi be a smooth complex representation of G lying in the Bernstein block B(\pi) of some simple type in the sense of Bushnell and Kutzko. Refining the approach of the…
A family of original formulae for computing number PI and its proof are presented. An algorithm is proposed to validate the results of this new algorithm.
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 generalize the circle bundle examples of ancient solutions of the Ricci flow discovered by Bakas, Kong, and Ni to a class of principal torus bundles over an arbitrary finite product of Fano K\"ahler-Einstein manifolds studied by Wang and…
M. Derevyagin, L. Vinet and A. Zhedanov introduced in Constr. Approx. 36 (2012) 513-535 a new connection between orthogonal polynomials on the unit circle and the real line. It maps any real CMV matrix into a Jacobi one depending on a real…
The algebraic structures known as {\it Leavitt path algebras} were initially developed in 2004 by Ara, Moreno and Pardo, and almost simultaneously (using a different approach) by the author and Aranda Pino. During the intervening decade,…
We give a proof of a conjecture of A. Lacasse in his doctoral thesis which has applications in machine learning algorithms. The proof relies on some interesting binomial sums identities introduced by Abel (1839), and on their generalization…
Prime number theorem asserts that (at large $x$) the prime counting function $\pi(x)$ is approximately the logarithmic integral $\mbox{li}(x)$. In the intermediate range, Riemann prime counting function $\mbox{Ri}^{(N)}(x)=\sum_{n=1}^N…