rolf hammer
C++ Toolbox for Verified Computing I
Print on DemandThis book presents an extensive set of sophisticated tools for solving basic numerical problems w...
Numerical Toolbox for Verified Computing I
Print on DemandThis book presents an extensive set of tools for solving basic numerical problems with verificati...
- 1