C-XSC is a libary for the development of numerical algorithms that
deliver highly accurate and automatically verified results. C-XSC can
do real, complex, interval, and complex interval arithmetic with
mathematically defined properties, dynamic vectors and matrices,
accurate dot products, predefined arithmetic operators with highest
accuracy, standard functions of high accuracy, dynamic
multiple-precision arithmetic and rounding control for the input and
output of data.