Period of time： 2007年1期
Publisher： Edp Sciences
Founded in： 1999
Total resources： 83
E-ISSN： 1290-385x|41|1
ISSN： 0988-3754
Subject： X Environmental Science, Safety Science
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
RAIRO - Theoretical Informatics and Applications,volume 41,issue 1
Menu
By Brattka Vasco,Frougny Christiane,Mueller Norbert in (2007)
RAIRO - Theoretical Informatics and Applications,volume 41,issue 1 , Vol. 41, Iss. 1, 2007-04 , pp.
Access to resources
Recommend
On the hierarchies of Δ20-real numbers
RAIRO - Theoretical Informatics and Applications,volume 41,issue 1 , Vol. 41, Iss. 1, 2007-04 , pp.Automata, Borel functions and real numbers in Pisot base
By Cagnard Benoit,Simonnet Pierre in (2007)
RAIRO - Theoretical Informatics and Applications,volume 41,issue 1 , Vol. 41, Iss. 1, 2007-04 , pp.Real and complex pseudozero sets for polynomials with applications
By Graillat Stef,Langlois Philippe in (2007)
RAIRO - Theoretical Informatics and Applications,volume 41,issue 1 , Vol. 41, Iss. 1, 2007-04 , pp.Formally certified floating-point filters for homogeneous geometric predicates
By Melquiond Guillaume,Pion Sylvain in (2007)
RAIRO - Theoretical Informatics and Applications,volume 41,issue 1 , Vol. 41, Iss. 1, 2007-04 , pp.Correct rounding of algebraic functions
By Brisebarre Nicolas,Muller Jean-Michel in (2007)
RAIRO - Theoretical Informatics and Applications,volume 41,issue 1 , Vol. 41, Iss. 1, 2007-04 , pp.Fast and correctly rounded logarithms in double-precision
By de Dinechin Florent,Lauter Christoph,Muller Jean-Michel in (2007)
RAIRO - Theoretical Informatics and Applications,volume 41,issue 1 , Vol. 41, Iss. 1, 2007-04 , pp.Multiple-Precision Correctly rounded Newton-Cotes quadrature
RAIRO - Theoretical Informatics and Applications,volume 41,issue 1 , Vol. 41, Iss. 1, 2007-04 , pp.