
CXSC 2.0
 Referenced in 122 articles
[sw00182]
 computing. The original version of the CXSC library is about ten years ... this standard. The new version CXSC 2.0 conforms to this standard. Application programs written ... older CXSC versions have to be modified to run with CXSC 2.0. Several ... given in [R. Klatte et al., CXSC. A C++ class library for extended scientific...

CXSC
 Referenced in 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific computing and numerical data processing ... CXSC is a tool for the development of numerical algorithms delivering highly accurate ... operators. These types are implemented as C++ classes. Thus, ... XSC allows highlevel programming of numerical applications in C and C++. The ...

ParLinSys
 Referenced in 19 articles
[sw06461]
 compiler gcc 2.95.2 and the libraries CXSC and CToolbox (Release 2.0 beta and above...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

gmp
 Referenced in 256 articles
[sw00363]
 GMP is a free library for arbitrary precision...

intpakX
 Referenced in 11 articles
[sw00445]
 The Maple Power Tool intpakX defines Maple types...

LAPACK
 Referenced in 1586 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Maple
 Referenced in 4919 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5703 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11496 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MPFI
 Referenced in 38 articles
[sw00597]
 Motivations for an arbitrary precision interval arithmetic and...

ScaLAPACK
 Referenced in 396 articles
[sw00830]
 ScaLAPACK is an acronym for scalable linear algebra...

CLAPACK
 Referenced in 89 articles
[sw03112]
 C version of LAPACK, a transportable library for...

BLAS
 Referenced in 475 articles
[sw03216]
 Lowlevel utilities common to many mathematical software...

MPFR
 Referenced in 195 articles
[sw03312]
 The MPFR library is a C library for...

INTLAB
 Referenced in 407 articles
[sw04004]
 INTLAB is the Matlab toolbox for reliable computing...

PNM
 Referenced in 34 articles
[sw05917]
 Introduction to precise numerical methods. With CDROM...

FastPILSS
 Referenced in 4 articles
[sw06460]
 Solvers for the verified solution of parametric linear...