Numerical Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs Hammer Rolf Heftet / 2011 / Engelsk
C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs Hammer Rolf Heftet / 2011 / Engelsk
