C++ TOOLBOX FOR VERIFIED COMPUTING - Hammer,R (Springer-Verlag,Berlin, 1995)
V.1 Basic Numarical Problems
Keywords: C++ (Computer Program Language)