C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs /

This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC. The sources of th...

Full description

Bibliographic Details

Main Author:	Kulisch, Ulrich
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hammer, Rolf, Hocks, Matthias, Ratz, Dietmar
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1995.
Subjects:	Mathematics. Global analysis (Mathematics) Algorithms. Numerical analysis. Mathematical physics. Engineering mathematics. Electronic books.
Online Access:	Connect to the full text of this electronic book