Sommaire

Foreword
p. 1-2
On the hierarchies of Δ 2 0 -real numbers
p. 3-25
Automata, Borel functions and real numbers in Pisot base
p. 27-44
Real and complex pseudozero sets for polynomials with applications
p. 45-56
Formally certified floating-point filters for homogeneous geometric predicates
p. 57-69
Correct rounding of algebraic functions
p. 71-83
Fast and correctly rounded logarithms in double-precision
p. 85-102
Multiple-precision correctly rounded Newton-Cotes quadrature
p. 103-121