On the Cohen-Olivier algorithm for computing ζ(s): Error analysis in the real case for an arbitrary precision

Y.-F.S. Petermann and J.-L. Remy
Advances in Applied Mathematics
Volume 38, Issue 1 , January 2007, Pages 54-70
http://dx.doi.org/10.1016/j.aam.2005.10.003

ζ関数を計算するアルゴリズムとしてCohen-Olivierのアルゴリズムというものがあるらしく，彼らは近似誤差の見積もりはしたが，丸め誤差などの計算機が生み出す誤差については解析していなかった．
ということで，ここではそこもちゃんとやろうということを目的としている．