AbstractUsing Padé approximants to the asymptotic expansion of the error term for the series ∑k=1∞ 1k2, ∑k=1∞ 1k3, and ∑k=1∞(− 1)k + 1k2, we recover Apéry's sequences which allow one to prove the irrationality of ζ(2) and of ζ(3). The same method applied to the partial sums of ln(1 − t) also proves the irrationality of certain values of the logarithm
This is a preprint of an article published in Manuscripta Mathmatica (2005), Volume 117, Number 2, 1...
International audienceThis paper presents a complete formal verification of a proof that the evaluat...
The first estimate of the upper bound $\mu(\pi)\leq42$ of the irrationality measure of the number $\...
AbstractUsing Padé approximants to the asymptotic expansion of the error term for the series ∑k=1∞ 1...
We prove that if q is an integer greater than one and r is a non-zero rational (r≠−qm) then Σn=1∞ (1...
AbstractWe show how Padé approximations are used to get Diophantine approximations of real or comple...
AbstractLet ξ be a real irrational number, and φ be a function (satisfying some assumptions). In thi...
In 1978, Apéry [2] proved the irrationality of ζ(3) by constructing two explicit sequences of integ...
AbstractLet β be an irrational number. For t ≥ 1, put ψβ(t)= minp,qint 0<q⩽t | qβ − p |, μ∗(β)= supt...
AbstractIn this paper we show how one can obtain simultaneous rational approximants for ζq(1) and ζq...
Inspired by the proof of the irrationality of ξ(2) and ξ(3), Alladi and Robinson used Legendre polyn...
AbstractIn 1979 R. Apéry introduced the numbers an = Σ0n(kn)2(kn+k)2 in his irrationality proof for ...
Given quantities $\Delta_1,\Delta_2,\dots\geqslant 0$, a fundamental problem in Diophantine approxim...
A new proof of the irrationality of ζ(3) is given. The orthogonality relation among certain known fo...
AbstractIn this paper we give irrationality results for numbers of the form ∑n=1∞ann! where the numb...
This is a preprint of an article published in Manuscripta Mathmatica (2005), Volume 117, Number 2, 1...
International audienceThis paper presents a complete formal verification of a proof that the evaluat...
The first estimate of the upper bound $\mu(\pi)\leq42$ of the irrationality measure of the number $\...
AbstractUsing Padé approximants to the asymptotic expansion of the error term for the series ∑k=1∞ 1...
We prove that if q is an integer greater than one and r is a non-zero rational (r≠−qm) then Σn=1∞ (1...
AbstractWe show how Padé approximations are used to get Diophantine approximations of real or comple...
AbstractLet ξ be a real irrational number, and φ be a function (satisfying some assumptions). In thi...
In 1978, Apéry [2] proved the irrationality of ζ(3) by constructing two explicit sequences of integ...
AbstractLet β be an irrational number. For t ≥ 1, put ψβ(t)= minp,qint 0<q⩽t | qβ − p |, μ∗(β)= supt...
AbstractIn this paper we show how one can obtain simultaneous rational approximants for ζq(1) and ζq...
Inspired by the proof of the irrationality of ξ(2) and ξ(3), Alladi and Robinson used Legendre polyn...
AbstractIn 1979 R. Apéry introduced the numbers an = Σ0n(kn)2(kn+k)2 in his irrationality proof for ...
Given quantities $\Delta_1,\Delta_2,\dots\geqslant 0$, a fundamental problem in Diophantine approxim...
A new proof of the irrationality of ζ(3) is given. The orthogonality relation among certain known fo...
AbstractIn this paper we give irrationality results for numbers of the form ∑n=1∞ann! where the numb...
This is a preprint of an article published in Manuscripta Mathmatica (2005), Volume 117, Number 2, 1...
International audienceThis paper presents a complete formal verification of a proof that the evaluat...
The first estimate of the upper bound $\mu(\pi)\leq42$ of the irrationality measure of the number $\...