Author Search Results

1

Computer arithmetic and validity : theory, implementation, and applications

Computer arithmetic and validity : theory, implementation, and applications Ulrich Kulisch.

by Kulisch, Ulrich.
Published 2008

Click for online access

Electronic

2

Computer arithmetic and validity

Computer arithmetic and validity by Ulrich Kulisch.

by Kulisch, Ulrich.
Published 2013

Click for online access

Electronic

3

Advanced Arithmetic for the Digital Computer Design of Arithmetic Units

Advanced Arithmetic for the Digital Computer Design of Arithmetic Units by Ulrich W. Kulisch.

by Kulisch, Ulrich W., Kulisch, Ulrich W.
Published 2002

Click to view e-book

Electronic eBook

4

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

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

Other Authors: “...Kulisch, Ulrich....”
Click to view e-book

Electronic eBook

5

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

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

Other Authors: “...Kulisch, Ulrich....”
Click to view e-book

Electronic eBook

6

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

C-XSC A C++ Class Library for Extended Scientific Computing by Rudi Klatte, Ulrich Kulisch, Andreas Wiethoff, Christian Lawo, Michael Rauch.

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

Other Authors: “...Kulisch, Ulrich....”
Click to view e-book

Electronic eBook

7

PASCAL-XSC Language Reference with Examples

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

Other Authors: “...Kulisch, Ulrich....”
Click to view e-book

Electronic eBook

8

Scientific Computation with Automatic Result Verification

Scientific Computation with Automatic Result Verification edited by Ulrich Kulisch, Hans J. Stetter.

Published 1988

Other Authors: “...Kulisch, Ulrich....”
Click to view e-book

Electronic eBook

9

Perspectives on Enclosure Methods

Perspectives on Enclosure Methods edited by Ulrich Kulisch, Rudolf Lohner, Axel Facius.

Published 2001

Other Authors: “...Kulisch, Ulrich....”
Click to view e-book

Electronic eBook