Bøger af Rolf Hammer

Theory, Algorithms, and Programs

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.