C-XSC

A C++ Class Library for Extended Scientific Computing

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 C-XSC package is available for many computers with a C++ compiler translating the AT&T language standard 2.0.

A demo version for Borland C++ (PC) is available on our ftp-server.

Springer-Verlag has published a language description of C-XSC.

A short description of C-XSC (20 pages) is available here (Postscript gnu-zipped).

• Introduction
• Standard Data Types, Predefined Operators, and Functions
• Subarrays of Vectors and Matrices
• Evaluation of Expressions with High Accuracy
• Dynamic Multiple-Precision Arithmetic
• Input and Output in C-XSC
• Error Handling in C-XSC
• Library of Problem Solving Routines
• Conclusions
• References
• C-XSC Sample Programs
  • Interval Newton Method
    • Run Time Output
  • Runge-Kutta Method
    • Run Time Output
  • Trace of a Product Matrix
    • Run Time Output
• How to get the C-XSC Software
• C++ Toolbox for Verified Computing
• About this document ...
• A gnu-zipped Postscript file of the html pages above is available here.