- Referenced in 126 articles
- computing. The original version of the C-XSC library is about ten years ... this standard. The new version C-XSC 2.0 conforms to this standard. Application programs written ... older C-XSC versions have to be modified to run with C-XSC 2.0. Several ... given in [R. Klatte et al., C-XSC. A C++ class library for extended scientific...
- Referenced in 110 articles
- 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 ... operators. These types are implemented as C++ classes. Thus, ... XSC allows high-level programming of numerical applications in C and C++. The ...
- Referenced in 19 articles
- compiler gcc 2.95.2 and the libraries C-XSC and CToolbox (Release 2.0 beta and above...
- Referenced in 49 articles
- ACRITH-XSC is a Fortran-like programming language...
- Referenced in 275 articles
- GMP is a free library for arbitrary precision...
- Referenced in 11 articles
- The Maple Power Tool intpakX defines Maple types...
- Referenced in 1671 articles
- LAPACK is written in Fortran 90 and provides...
- Referenced in 5270 articles
- The result of over 30 years of cutting...
- Referenced in 6213 articles
- Almost any workflow involves computing results, and that...
- Referenced in 12983 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 42 articles
- Motivations for an arbitrary precision interval arithmetic and...
- Referenced in 411 articles
- ScaLAPACK is an acronym for scalable linear algebra...
- Referenced in 90 articles
- C version of LAPACK, a transportable library for...
- Referenced in 492 articles
- Low-level utilities common to many mathematical software...
- Referenced in 220 articles
- The MPFR library is a C library for...
- Referenced in 447 articles
- INTLAB is the Matlab toolbox for reliable computing...
- Referenced in 35 articles
- Introduction to precise numerical methods. With CD-ROM...
- Referenced in 5 articles
- Solvers for the verified solution of parametric linear...