Numerical toolbox for verified computingde R. Hammer, M. Hocks, U. Kulisch, D. RatzMateriasNumerical analysisError analysis (Mathematics)Ediciones (3)Numerical Toolbox for Verified Computing I: Basic Numerical Problems (1993)
CC++ Toolbox for Verified Computing I: Basic Numerical ProbleC++ Toolbox for Verified Computing I: Basic Numerical Problems
