Matthias Hocks profile picture

Matthias Hocks

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

Stand Alone

C++ toolbox for verified computing I: basic numerical problems
C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs