C-XSC
Rauch, Michael / Lawo, Christian / Kulisch, Ulrich / Wiethoff, Andreas / Klatte, Rudi / Wiethoff, Andreas / Wolff, C. / Lawo, Christian / Corliss, G. F. / Klatte, Rudi
C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It provides a large number of predefined numerical data types and operators. These types are implemented as C++ classes. Thus, C-XSC allows high-level programming of numerical applications in C and C++. The most important features of C-XSC are: real, complex, interval, and complex interval arithmetic, dynamic vectors and m...