Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 41 (2007)
no. 1
Sommaire
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