C-XSC - A C++ Class Library for Extended Scientific Computing - Ulrich Kulisch

C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It consists of an introduction to advanced computer arithmetic, a chapter describing the programming languages C and C++, the major chapter \C-XSC Reference\, sample programs, and indices.