An edition of Scientific computation with automatic result verification
(1988)
Scientific computation with automatic result verification
by Ulrich Kulisch and Hans J. Stetter
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Congresses, Numerical calculations, Algorithms, Verification| Edition | Availability |
|---|---|
1
Scientific computation with automatic result verification
1988, Springer-Verlag
in English
0387820639 9780387820637
|
aaaa
|
2
Scientific Computation with Automatic Result Verification
1988, Island Press
in English
3709169585 9783709169582
|
zzzz
|
Book Details
Edition Notes
Includes bibliographies.
Based on papers presented at a conference held Sept. 30-Oct. 2, 1987 in Karlsruhe and co-sponsored by the Institute for Applied Mathematics of Karlsruhe University and the GAMM Committee on "Computer Arithmetic and Scientific Computation".
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| November 8, 2020 | Created by MARC Bot | import existing book |