Tallenna
Numerical Toolbox for Verified Computing I
Kirjailija:
nidottu, 2011
englanti
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.
- Alaotsikko
- Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
- Kirjailija
- Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
- Painos
- Softcover reprint of the original 1st ed. 1993
- ISBN
- 9783642784255
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.12.2011
- Sivumäärä
- 339
