• ValEncIA-IVP

  • Referenced in 30 articles [sw04846]
  • However, validated computations are often affected by overestimation, which, in naive implementations, might even lead ... existing approaches for reduction of overestimation. In this paper, the recently developed validated solver VALENCIA ... several methods implemented there for reduction of overestimation are described. Furthermore, a detailed comparison...
  • ValEncIA

  • Referenced in 19 articles [sw08735]
  • However, validated computations are often affected by overestimation, which, in naive implementations, might even lead ... existing approaches for reduction of overestimation. In this paper, the recently developed validated solver ValEncIA ... several methods implemented there for reduction of overestimation are described. Furthermore, a detailed comparison...
  • WinoGrande

  • Referenced in 2 articles [sw42140]
  • datasets that lead to an overestimation of the true capabilities of machine commonsense. To investigate ... crowdsourcing procedure, followed by (2) systematic bias reduction using a novel AfLite algorithm that generalizes ... concern that we are likely to be overestimating the true capabilities of machine commonsense across ... algorithmic bias reduction in existing and future benchmarks to mitigate such overestimation...
  • ProTraS

  • Referenced in 2 articles [sw33763]
  • parameter, the sampling cost. The cost is overestimated by the maximum within group distance ... group with the highest probability of cost reduction. The novel algorithm is robust to noise...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • 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...
  • SUNDIALS

  • Referenced in 246 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • BLAS

  • Referenced in 501 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • INTLAB

  • Referenced in 472 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • LINPACK

  • Referenced in 525 articles [sw04209]
  • LINPACK is a collection of Fortran subroutines that...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives...
  • mctoolbox

  • Referenced in 1521 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • FADBAD++

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

  • Referenced in 65 articles [sw04947]
  • CVODE is a solver for stiff and nonstiff...
  • libMC

  • Referenced in 47 articles [sw06615]
  • ibMC is an open source software library for...
  • Cosy

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

  • Referenced in 36 articles [sw08451]
  • APOGEE: Global optimization of standard, generalized, and extended...