Scientific Computation with Automatic Result Verification /

This Computing Supplementum collects a number of original contributions which all aim to compute rigorous and reliable error bounds for the solution of numerical problems. An introductory article by the editors about the meaning and diverse methods of automatic result verification is followed by 16...

Full description

Bibliographic Details

Main Author:	Kulisch, Ulrich
Corporate Author:	SpringerLink (Online service)
Other Authors:	Stetter, Hans J.
Format:	eBook
Language:	English
Published:	Vienna : Springer Vienna, 1988.
Series:	Computing (Springer-Verlag). Supplementum ; 6.
Subjects:	Mathematics. Microprogramming. Computer science. Numerical analysis. Mathematical physics. Physics. Engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book