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

Yves Pétermann (1) , Jean-Luc Rémy (2)

1 SPACES - Solving problems through algebraic computation and efficient software
2 ADAGE - Applying discrete algorithms to genomics

We provide a complete error analysis of the Cohen-Olivier algorithm, for computing the zeta function, when the argument is real.

Mots clés: error analysis; arbitrary precision; certified precision; précision arbitraire; précision certifiée; fonction zeta de riemann; riemann zeta-function; analyse d'erreur

Domaines: Autre [cs.OH]

Yves Pétermann, Jean-Luc Rémy. On the Cohen-Olivier algorithm for computing zeta(s): error analysis in the real case for an arbitrary precision. [Intern report] A02-R-387 || petermann02b, 2002. ⟨inria-00101071⟩