• C-XSC 2.0

  • Referenced in 122 articles [sw00182]
  • 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...
  • C-XSC

  • Referenced in 106 articles [sw00181]
  • 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 ...
  • ParLinSys

  • Referenced in 19 articles [sw06461]
  • compiler gcc 2.95.2 and the libraries C-XSC and CToolbox (Release 2.0 beta and above...
  • 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 high-level 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]
  • Low-level 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 CD-ROM...
  • FastPILSS

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