Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
Springer Berlin
117.69 € · Hardcover
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. We use the features of the scientific computer language PASCAL-XSC to offer modules that can be co...