R. Hammer

No bio available. Add one in Open Library.

Books by R. Hammer (50 max)

+ shelf+ list

Numerical toolbox for verified computing: theory, algorithms, and Pascal-XSC programs

1993

R. Hammer, M. Hocks, U. Kulisch, D. Ratz

+ shelf+ list

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

1995

R. Hammer

+ shelf+ list

Face Up E.S.S.

2000

R. Hammer