
CXSC 2.0
 Referenced in 126 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 110 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 275 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 1671 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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

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

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

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

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

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

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

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

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

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