Spar
Numerical Toolbox for Verified Computing I
Forfatter:
heftet, 2011
Engelsk
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.
- Undertittel
- Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
- Forfatter
- Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
- Opplag
- Softcover reprint of the original 1st ed. 1993
- ISBN
- 9783642784255
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 8.12.2011
- Antall sider
- 339
