RAIRO - Theoretical Informatics and Applications
Volume 41 / No 1 (January-March 2007)
Real Numbers
On the hierarchies of Δ20-real numbers p. 3
Published online: 24 April 2007
Automata, Borel functions and real numbers in Pisot base p. 27
Published online: 24 April 2007
Real and complex pseudozero sets for polynomials with applications p. 45
Published online: 24 April 2007
Formally certified floating-point filters for homogeneous geometric predicates p. 57
Published online: 24 April 2007
Correct rounding of algebraic functions p. 71
Published online: 24 April 2007
Fast and correctly rounded logarithms in double-precision p. 85
Published online: 24 April 2007
Multiple-Precision Correctly rounded Newton-Cotes quadrature p. 103
Published online: 24 April 2007