
ValEncIAIVP
 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 highlevel 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]
 Lowlevel 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...