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