Perspectives on Enclosure Methods

Published 2001

Scientific Computation with Automatic Result Verification

Published 1988

C-XSC : A C++ Class Library for Extended Scientific Computing

by Klatte, Rudi, Kulisch, Ulrich, Wiethoff, Andreas, Lawo, Christian
Published 1993

PASCAL-XSC : Language Reference with Examples

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

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

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

Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs

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

Überblicke Mathematik 1998

Published 1997

PASCAL-XSC : Sprachbeschreibung mit Beispielen

by Klatte, Rudi, Kulisch, Ulrich, Neaga, Michael, Ratz, Dietmar
Published 1991

Rechnerorientierte Verfahren

by Kutzler, Bernhard, Feilmeier, Manfred, Kratz, Mathias, Kulisch, Ulrich
Published 1986