2 books • 1 series
C++ Toolbox for Verified Computing
Numerical Toolbox for Verified Computing I (Springer Series in Computational Mathematics, #21)