Ulrich Kulisch

No bio available. Add one in Open Library.

Books by Ulrich Kulisch (50 max)

+ shelf+ list

Computer arithmetic and validity: theory, implementation, and applications

2008

Ulrich Kulisch

+ shelf+ list

Wissenschaftliches Rechnen mit Ergebnisverifikation eine Einführung

1989

Ulrich Kulisch

+ shelf+ list

C++ toolbox for verified computing I: basic numerical problems

1995

Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz

+ shelf+ list

Computerarithmetic: scientific computation and programming languages

1987

Edgar W. Kaucher, Ulrich Kulisch, Christian Ullrich

+ shelf+ list

Scientific computation with automatic result verification

1988

Ulrich Kulisch, Hans J. Stetter

+ shelf+ list

Scientific Computation with Automatic Result Verification

1988

Ulrich Kulisch

+ shelf+ list

Pascal-Xsc

1991

Rudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian Ullrich

+ shelf+ list

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

1993

Ulrich Kulisch

+ shelf+ list

Perspectives on Enclosure Methods

2001

Ulrich Kulisch

+ shelf+ list

Grundlagen des numerischen Rechnens: math. Begründung d. Rechnerarithmetik

1976

Ulrich Kulisch

+ shelf+ list

Grundlagen der Computer-Arithmetik

1977

Albrecht, Rudolf, Ulrich Kulisch

+ shelf+ list

Computer arithmetic in theory and practice

1981

Ulrich Kulisch

+ shelf+ list

Computer arithmetic in theory and practice

1981

Ulrich Kulisch

+ shelf+ list

Wissenschaftliches Rechnen und Programmiersprachen

1982

Ulrich Kulisch, Christian Ullrich

+ shelf+ list

Rechnerorientierte Verfahren

1986

Bruno Buchberger, Bernhard Kutzler, Manfred Feilmeier, Mathias Kratz, Ulrich Kulisch

+ shelf+ list

Scientific computing with automatic result verification

1993

Ulrich Kulisch

+ shelf+ list

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

1995

Ulrich Kulisch

+ shelf+ list

Überblicke Mathematik 1998

1997

Albrecht Beutelspacher, Norbert Henze, Ulrich Kulisch, Hans Wußing

+ shelf+ list

Perspectives on Enclosure Methods

2001

Ulrich Kulisch

+ shelf+ list

Advanced arithmetic for the digital computer: design of arithmetic units

2002

Ulrich Kulisch

+ shelf+ list

Advanced Arithmetic for the Digital Computer Design of Arithmetic Units

2002

Ulrich Kulisch

+ shelf+ list

Advanced arithmetic for the digital computer: design of arithmetic units

2003

Ulrich Kulisch

+ shelf+ list

Rechnerorientierte Verfahren

2013

Bernhard Kutzler, Manfred Feilmeier, Mathias Kratz, Ulrich Kulisch, Siegfried M. Rump, Bruno Buchberger