Computer Arithmetic and Validity Theory, Implementation, and Applications Kulisch, Ulrich Innbundet / 2013 / Engelsk
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
