Rolf Hammer profile picture

Rolf Hammer

Is this your author profile? Create an account to claim and customize it!

Stand Alone

C++ toolbox for verified computing I
C++ toolbox for verified computing I: basic numerical problems
C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs
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