1 book • 1 series
Numerical Toolbox for Verified Computing I (Springer Series in Computational Mathematics, #21)