TY - BOOK AU - Kramer,Walter AU - Gudenberg,J.Wolff von TI - Scientific computing, validated numerics, interval methods SN - 0306467062 AV - QA401 .S34 2001 PY - 2001///] CY - New York PB - Kluwer Academic/Plenum KW - Mathematical models KW - Congresses ER -