Many interesting solutions of the so-called Basler problem of evaluating the Riemann zeta function ζ(s) when s = 2, which was of vital importance to Euler and the Bernoulli brothers (Jakob and Johann Bernoulli), have appeared in the mathematical literature ever since Euler first solved this problem in the year 1736. The main object of the present paper is to investigate rather systematically several interesting evaluations and representations of ζ(s) when s ∈ ℕ¼ {1}. In one of many computationally useful special cases considered here, it is observed that ζ(3) can be represented by means of a series which converges much more rapidly than that in Euler's celebrated formula as well as the series used recently by Apéry in his proof of the irrat...
Driven by an inspiring comment by Prof. H. M. Edwards, we present a method of evaluation of zeta(2n)...
Abstract. This paper describes the formal verification of an irrational-ity proof of ζ(3), the evalu...
International audienceThis paper presents a complete formal verification of a proof that the evaluat...
Many interesting solutions of the so-called Basler problem of evaluating the Riemann zeta function ζ...
ii The Riemann zeta function, ζ(s) with complex argument s, is a widely used special function in mat...
In this paper, some new results are reported for the study of Riemann zeta function ζ(s) in the crit...
. We provide a compendium of evaluation methods for the Riemann zeta function, presenting formulae r...
The best currently known algorithm for evaluating the Riemann zeta function, ζ(σ + it), with σ bound...
We use methods of real analysis to continue the Riemann zeta function ζ(s)ζ(s) to all complex ss, an...
We use methods of real analysis to continue the Riemann zeta function ζ(s)ζ(s) to all complex ss, an...
Euler finds the values of ζ(2n), where ζ is now named as the Riemann zeta function. He introduces th...
Riemann zeta function represents an important tool in analytical number theory with various applicat...
AbstractFor a natural number n, the authors propose and develop three new series representations for...
Abstract: Fourier series for Euler polynomials is used to obtain information about values of the Rie...
The Riemann zeta function, Ϛ(s) with complex argument s, is a widely used special function in mathe...
Driven by an inspiring comment by Prof. H. M. Edwards, we present a method of evaluation of zeta(2n)...
Abstract. This paper describes the formal verification of an irrational-ity proof of ζ(3), the evalu...
International audienceThis paper presents a complete formal verification of a proof that the evaluat...
Many interesting solutions of the so-called Basler problem of evaluating the Riemann zeta function ζ...
ii The Riemann zeta function, ζ(s) with complex argument s, is a widely used special function in mat...
In this paper, some new results are reported for the study of Riemann zeta function ζ(s) in the crit...
. We provide a compendium of evaluation methods for the Riemann zeta function, presenting formulae r...
The best currently known algorithm for evaluating the Riemann zeta function, ζ(σ + it), with σ bound...
We use methods of real analysis to continue the Riemann zeta function ζ(s)ζ(s) to all complex ss, an...
We use methods of real analysis to continue the Riemann zeta function ζ(s)ζ(s) to all complex ss, an...
Euler finds the values of ζ(2n), where ζ is now named as the Riemann zeta function. He introduces th...
Riemann zeta function represents an important tool in analytical number theory with various applicat...
AbstractFor a natural number n, the authors propose and develop three new series representations for...
Abstract: Fourier series for Euler polynomials is used to obtain information about values of the Rie...
The Riemann zeta function, Ϛ(s) with complex argument s, is a widely used special function in mathe...
Driven by an inspiring comment by Prof. H. M. Edwards, we present a method of evaluation of zeta(2n)...
Abstract. This paper describes the formal verification of an irrational-ity proof of ζ(3), the evalu...
International audienceThis paper presents a complete formal verification of a proof that the evaluat...