Spara
Numerical Toolbox for Verified Computing I
Författare:
häftad, 2011
Engelska
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.
- Undertitel
- Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
- Författare
- Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
- Upplaga
- Softcover reprint of the original 1st ed. 1993
- ISBN
- 9783642784255
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-12-08
- Sidor
- 339
