- Referenced in 122 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 106 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 256 articles
- GMP is a free library for arbitrary precision...
- Referenced in 11 articles
- The Maple Power Tool intpakX defines Maple types...
- Referenced in 1586 articles
- LAPACK is written in Fortran 90 and provides...
- Referenced in 4919 articles
- The result of over 30 years of cutting...
- Referenced in 5703 articles
- Almost any workflow involves computing results, and that...
- Referenced in 11496 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 38 articles
- Motivations for an arbitrary precision interval arithmetic and...
- Referenced in 396 articles
- ScaLAPACK is an acronym for scalable linear algebra...
- Referenced in 89 articles
- C version of LAPACK, a transportable library for...
- Referenced in 475 articles
- Low-level utilities common to many mathematical software...
- Referenced in 195 articles
- The MPFR library is a C library for...
- Referenced in 407 articles
- INTLAB is the Matlab toolbox for reliable computing...
- Referenced in 34 articles
- Introduction to precise numerical methods. With CD-ROM...
- Referenced in 4 articles
- Solvers for the verified solution of parametric linear...