<p>In this paper we provide an elementary derivation of a Viète-like formula for the constant pi. This formula is based on infinite sum of the arctangent functions with arguments consisting of nested radicals.</p
There are many beautiful formulas for pi (see for example [4]). The purpose of this note is to intro...
There are many beautiful formulas for pi (see for example [4]). The purpose of this note is to intro...
This paper discusses a few main topics in Number Theory, such as the M\"{o}bius function and its gen...
In this paper is expressed in a new way, rather than, a seriesconverging to get the exact value. Th...
We study several formal proofs and algorithms related to the number pi in the context of Coq's stand...
The file 'u2.txt' contains the computed value of the rational number u2 at k = 27 and u1 = 85445659 ...
Around 1700, renowned mathematicians started using arctangent identities to find digits of Pi. Their...
This paper presents a catalogue of mathematical formulas and iterative algorithms for evaluating the...
The note generalizes a well-known formula for pi/2 named after the English mathematician John Wallis...
In this work we showed expressions of constant π. This constant can be expanded into Maclaurin'...
International audienceWe study several formal proofs and algorithms related to the number π in the c...
Abstract. This paper studies the behaviour of the prime counting function at some certain points. We...
In this paper we present a two-term Machin-like formula for pi \[\frac{\pi}{4} = 2^{k - 1}\arctan\le...
To detect patterns in the transcendental number pi, we can use the following formula : r{Ξ, Π, Ρ, Σ...
Originally, Pi constant was understood as the ratio of circumference of a circle to its diameter. As...
There are many beautiful formulas for pi (see for example [4]). The purpose of this note is to intro...
There are many beautiful formulas for pi (see for example [4]). The purpose of this note is to intro...
This paper discusses a few main topics in Number Theory, such as the M\"{o}bius function and its gen...
In this paper is expressed in a new way, rather than, a seriesconverging to get the exact value. Th...
We study several formal proofs and algorithms related to the number pi in the context of Coq's stand...
The file 'u2.txt' contains the computed value of the rational number u2 at k = 27 and u1 = 85445659 ...
Around 1700, renowned mathematicians started using arctangent identities to find digits of Pi. Their...
This paper presents a catalogue of mathematical formulas and iterative algorithms for evaluating the...
The note generalizes a well-known formula for pi/2 named after the English mathematician John Wallis...
In this work we showed expressions of constant π. This constant can be expanded into Maclaurin'...
International audienceWe study several formal proofs and algorithms related to the number π in the c...
Abstract. This paper studies the behaviour of the prime counting function at some certain points. We...
In this paper we present a two-term Machin-like formula for pi \[\frac{\pi}{4} = 2^{k - 1}\arctan\le...
To detect patterns in the transcendental number pi, we can use the following formula : r{Ξ, Π, Ρ, Σ...
Originally, Pi constant was understood as the ratio of circumference of a circle to its diameter. As...
There are many beautiful formulas for pi (see for example [4]). The purpose of this note is to intro...
There are many beautiful formulas for pi (see for example [4]). The purpose of this note is to intro...
This paper discusses a few main topics in Number Theory, such as the M\"{o}bius function and its gen...
DOI
Add to ORKG