Scientific computing and validated numerics / מאת International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN-95 (1995 : Wuppertal, Germany), Alefeld, Gotz, Frommer, Andreas, Lang, Bruno