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

PASCAL-XSC Language Reference with Examples by Rudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian Ullrich.

by Klatte, Rudi., Klatte, Rudi., Kulisch, Ulrich., Neaga, Michael., Ratz, Dietmar., Ullrich, Christian.
Published 1992