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