Scientific Computing and Validated Numerics: Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN-95, Held in Wuppertal, Germany, September 26-29, 1995