C-XSC is a tool for the development of numerical algorithms. It provides
data types and operators to support numerical algorithms which deliver
highly accurate and automatically verified results. C and C++ are used
for programming these algorithms - both languages could not be used for
numerical algorithms previously. The book can be used as a textbook and
as a reference manual. It will be of great interest to all computer
users in the field of scientific computing.