Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 41 (2007)
no. 1
Table of contents
Foreword
Brattka, Vasco
;
Frougny, Christiane
;
Mueller, Norbert
p. 1-2
On the hierarchies of
Δ
2
0
-real numbers
Zheng, Xizhong
p. 3-25
Automata, Borel functions and real numbers in Pisot base
Cagnard, Benoit
;
Simonnet, Pierre
p. 27-44
Real and complex pseudozero sets for polynomials with applications
Graillat, Stef
;
Langlois, Philippe
p. 45-56
Formally certified floating-point filters for homogeneous geometric predicates
Melquiond, Guillaume
;
Pion, Sylvain
p. 57-69
Correct rounding of algebraic functions
Brisebarre, Nicolas
;
Muller, Jean-Michel
p. 71-83
Fast and correctly rounded logarithms in double-precision
Dinechin, Florent de
;
Lauter, Christoph
;
Muller, Jean-Michel
p. 85-102
Multiple-precision correctly rounded Newton-Cotes quadrature
Fousse, Laurent
p. 103-121
