Topics in validated computations
Subtitle: proceedings of IMACS-GAMM International Workshop on Validated Computation, Oldenburg, Germany, 30 August-3 September 1993
By: edited by Jürgen Herzberger.
Contributors: Herzberger, Jürgen.
Series: Studies in computational mathematics ;; 5
Publisher: Elsevier
Published: 1994
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 497
Subjects: Interval analysis (Mathematics) -- Congresses.; Numerical calculations -- Verification -- Congresses.; Algorithms -- Congresses.
Notes: Includes bibliographical references.