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), Hocks, Matthias (Author), Kulisch, Ulrich (Author), Ratz, Dietmar (Author)
Corporate Author: SpringerLink (Online service)
Format: 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

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items