International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (4th 1995 Wuppertal, Germany)