• IBEX

  • Referenced in 12 articles [sw11947]
  • taken into account. It is based on interval arithmetic and affine arithmetic. The main feature ... ability to build strategies declaratively through the contractor programming paradigm. It can also be used...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PROFIL/BIAS

  • Referenced in 134 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • FADBAD++

  • Referenced in 58 articles [sw04863]
  • FADBAD++ implements the forward, backward and Taylor methods...
  • GlobSol

  • Referenced in 38 articles [sw06724]
  • GlobSol: history, composition, and advice on use The...
  • CAPD

  • Referenced in 77 articles [sw07620]
  • Software library that aims to provide a set...
  • Cosy

  • Referenced in 96 articles [sw07711]
  • COSY is a system for the use of...
  • ValEncIA

  • Referenced in 19 articles [sw08735]
  • VALENCIA-IVP: A Comparison with Other Initial Value...
  • PASCAL-XSC

  • Referenced in 104 articles [sw18863]
  • PASCAL-XSC: PASCAL for Extended Scientific Computing. The...