Theoretical Informatics and Applications

Vol. 41 No. 1 (January-March 2007)

Special Issue: Real Numbers

• Foreword     p. 1
  Vasco Brattka, Christiane Frougny and Norbert Mueller
  Abstract | PDF file (37.73 KB)



• On the hierarchies of -real numbers     p. 3
  Xizhong Zheng
  Abstract | PDF file (284.6 KB) | References



• Automata, Borel functions and real numbers in Pisot base     p. 27
  Benoit Cagnard and Pierre Simonnet
  Abstract | PDF file (231.6 KB) | References



• Real and complex pseudozero sets for polynomials with applications     p. 45
  Stef Graillat and Philippe Langlois
  Abstract | PDF file (210.0 KB) | References



• Formally certified floating-point filters for homogeneous geometric predicates     p. 57
  Guillaume Melquiond and Sylvain Pion
  Abstract | PDF file (155.6 KB) | References



• Correct rounding of algebraic functions     p. 71
  Nicolas Brisebarre and Jean-Michel Muller
  Abstract | PDF file (173.3 KB) | References



• Fast and correctly rounded logarithms in double-precision     p. 85
  Florent de Dinechin, Christoph Lauter and Jean-Michel Muller
  Abstract | PDF file (206.0 KB) | References



• Multiple-Precision Correctly rounded Newton-Cotes quadrature     p. 103
  Laurent Fousse
  Abstract | PDF file (216.7 KB) | References