C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

By Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
C++ Toolbox for Verified Computing I: Basic...

Details

Authors: Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
Format: Hardcover
GTIN13: 9783540591108
ISBN10: 3540591109
Publisher: Springer
Loading...