Numerical Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs / by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz.
As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the results. We use the features of the scientific computer language PASCAL-XSC to offer modules that can be co...
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,
1993.
|
|---|
| Edition: | 1st ed. 1993. |
|---|
| Series: | Springer Series in Computational Mathematics,
21
Springer eBook Collection.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click to view e-book
|
|---|
| Holy Cross Note: | Loaded electronically.
Electronic access restricted to members of the Holy Cross Community. |
|---|