C-XSC. A programming environment for verified scientific computing and numerical data processing. 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 all computers with a C++ compiler translating the AT&T language standard 2.0.
Keywords for this software
References in zbMATH (referenced in 104 articles , 1 standard article )
Showing results 101 to 104 of 104.
- Ullrich, Christian P.: Interval arithmetic on computers (1994)
- Klatte, Rudi; Kulisch, Ulrich W.; Wiethoff, Andreas; Lawo, Christian; Rauch, Michael: C-XSC. A C++ class library for extended scientific computing. Transl. by G. F. Corliss, C. Lawo, R. Klatte, A. Wiethoff, C. Wolff (1993)
- Lawo, Christian: C-XSC. A programming environment for verified scientific computing and numerical data processing (1993)
- Cuyt, Annie; Verdonk, Brigitte: Multivariate rational data fitting: General data structure, maximal accuracy and object orientation (1992)