C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs / by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz.

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

Saved in:
Bibliographic Details
Main Authors: Hammer, Rolf. (Author, http://id.loc.gov/vocabulary/relators/aut), Hocks, Matthias. (http://id.loc.gov/vocabulary/relators/aut), Kulisch, Ulrich. (http://id.loc.gov/vocabulary/relators/aut), Ratz, Dietmar. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995.
Edition:1st ed. 1995.
Series:Springer eBook Collection.
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.


Click to view e-book


Holdings details from E-resources
Call Number: E-Book
Copy: 1 Available