Journal of Computational and Applied Mathematics In Special Issue on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004), Special Issue on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004), Vol. 199, No. 2. (15 February 2007), pp. 358-364.