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

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
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995.
Edition:1st ed. 1995.
Series:Springer eBook Collection.
Subjects:
Numerical analysis.
Mathematical analysis.
Analysis (Mathematics).
Algorithms.
Applied mathematics.
Engineering mathematics.
Physics.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

Internet

Click to view e-book

E-resources

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

Similar Items