Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs /

This book presents an extensive set of sophisticated tools to solve numerical problems with a verification of the results using the features of the scientific computer language PASCAL-XSC. The overriding concern of this book is reliability - the automatic verification of the result a computer return...

Full description

Bibliographic Details

Main Author:	Kulisch, Ulrich
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hammer, Rolf, Ratz, Dietmar, Hocks, Matthias
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1993.
Series:	Springer series in computational mathematics ; 21.
Subjects:	Mathematics. Computer science. Numerical analysis. Electronic books.
Online Access:	Connect to the full text of this electronic book