👤

R. Hammer

3 books

Books by R. Hammer

Face Up E.S.S
Face Up E.S.S
2000
C++ Toolbox for Verified Compu
C++ Toolbox for Verified Computing I: Basic Numerical Problems
1995
Numerical toolbox for verified computing
Numerical toolbox for verified computing
1993