Rolf Hammer

No bio available. Add one in Open Library.

Books by Rolf Hammer (50 max)

+ shelf+ list

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

1995

Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz

+ shelf+ list

Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen

1992

Rolf Hammer