RAIRO - Theoretical Informatics and Applications

Free Access

Foreword

Foreword p. 1

Vasco Brattka, Christiane Frougny and Norbert Mueller

Published online: 24 April 2007

DOI: https://doi.org/10.1051/ita:2007001

• PDF (37.59 KB)

On the hierarchies of Δ₂⁰-real numbers p. 3

Xizhong Zheng

Published online: 24 April 2007

DOI: https://doi.org/10.1051/ita:2007008

• PDF (282.8 KB)
• References

Automata, Borel functions and real numbers in Pisot base p. 27

Benoit Cagnard and Pierre Simonnet

Published online: 24 April 2007

DOI: https://doi.org/10.1051/ita:2007007

• PDF (229.8 KB)
• References

Real and complex pseudozero sets for polynomials with applications p. 45

Stef Graillat and Philippe Langlois

Published online: 24 April 2007

DOI: https://doi.org/10.1051/ita:2007006

• PDF (208.9 KB)
• References

Formally certified floating-point filters for homogeneous geometric predicates p. 57

Guillaume Melquiond and Sylvain Pion

Published online: 24 April 2007

DOI: https://doi.org/10.1051/ita:2007005

• PDF (154.8 KB)
• References

Correct rounding of algebraic functions p. 71

Nicolas Brisebarre and Jean-Michel Muller

Published online: 24 April 2007

DOI: https://doi.org/10.1051/ita:2007002

• PDF (172.3 KB)
• References

Fast and correctly rounded logarithms in double-precision p. 85

Florent de Dinechin, Christoph Lauter and Jean-Michel Muller

Published online: 24 April 2007

DOI: https://doi.org/10.1051/ita:2007003

• PDF (204.7 KB)
• References

Multiple-Precision Correctly rounded Newton-Cotes quadrature p. 103

Laurent Fousse

Published online: 24 April 2007

DOI: https://doi.org/10.1051/ita:2007004

• PDF (215.2 KB)
• References