Numerical Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz.

by Hammer, Rolf., Hammer, Rolf., Hocks, Matthias., Kulisch, Ulrich., Ratz, Dietmar.
Published 1993

C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz.

by Hammer, Rolf., Hammer, Rolf., Hocks, Matthias., Kulisch, Ulrich., Ratz, Dietmar.
Published 1995