Scientific computation with automatic result verification
By: U. Kulisch and H.J. Stetter (eds.).
Contributors: Kulisch, Ulrich.; Stetter, Hans J., 1930-; Universität Karlsruhe. Institut für Angewandte Mathematik.; GAMM Committee on "Computer Arithmetic and Scientific Computation".
Series: Computing. Supplementum ;; 6; Computing (Springer-Verlag).; 6.
Publisher: Springer-Verlag
Published: 1988
Place of publication: Wien; New York
Language: eng
Number of pages: 244
Subjects: Numerical calculations -- Verification -- Congresses.; Algorithms -- Congresses.
Notes: Includes bibliographies.
Based on papers presented at a conference held Sept. 30-Oct. 2, 1987 in Karlsruhe and co-sponsored by the Institute for Applied Mathematics of Karlsruhe University and the GAMM Committee on "Computer Arithmetic and Scientific Computation".