-
INTLAB
- Referenced in 419 articles
[sw04004]
- slow) multiple precision interval arithmetic with error bounds (does the job, slow...
-
SuperLU
- Referenced in 171 articles
[sw00930]
- relative backward error, and estimate error bounds for the refined solutions...
-
AS 195
- Referenced in 97 articles
[sw14058]
- Multivariate normal probabilities with error bound...
-
SuperLU-DIST
- Referenced in 83 articles
[sw00002]
- relative backward error, and estimate error bounds for the refined solutions...
-
SpaceEx
- Referenced in 67 articles
[sw10939]
- steps to guarantee a given local error bound. In addition, we propose an improved approximation...
-
POMDPS
- Referenced in 35 articles
[sw03055]
- different environments under various metrics (return, error bound reduction, lower bound improvement). Our experimental results...
-
EGO
- Referenced in 335 articles
[sw07588]
- Global Optimization (EGO) algorithm solves costly box-bounded global optimization problems with additional linear, nonlinear ... approximation by sampling where the prediction error may be high...
-
dReal
- Referenced in 26 articles
[sw07157]
- formulas, where $delta $ is a numerical error bound specified by the user. dReal also produces...
-
MatSol
- Referenced in 24 articles
[sw12419]
- iterations. Theory yields the error bounds that are independent of conditioning of constraints...
-
HOT
- Referenced in 24 articles
[sw10803]
- code. We also review the error bounds on the multipole approximations involved in treecodes...
-
VSDP
- Referenced in 12 articles
[sw04003]
- provides functions for computing rigorous error bounds of the true optimal value, verified enclosures ... verified certificates of infeasibility. All rounding errors due to floating point arithmetic are taken into...
-
ESOLID
- Referenced in 11 articles
[sw15824]
- filters, arbitrary floating-point arithmetic with error bounds, and lower-dimensional formulation of subproblems. ESOLID...
-
PROXIMUS
- Referenced in 9 articles
[sw04989]
- PROXIMUS is a software tool for error-bounded approximation of high-dimensional binary attributed datasets...
-
ASKIT
- Referenced in 8 articles
[sw17470]
- summarize our previous theoretical complexity and error bounds in one place. We present a brief...
-
VECTOR_PADE
- Referenced in 7 articles
[sw04679]
- These experiments show that the theoretical error bounds obtained by Cabay, Jones, and Labahn ... behavior of the actual error, but that in practice these bounds are large overestimates...
-
CkAnalytic
- Referenced in 6 articles
[sw19313]
- used to obtain mathematically rigorous error bounds on numerical approximations of solutions of differential equations...
-
libkww
- Referenced in 4 articles
[sw29172]
- stretched exponential function: analytic error bounds, double exponential transform, and open-source implementation libkww ... with double precision. Analytic error bounds are derived for the low and high frequency series...
-
ADMiRA
- Referenced in 31 articles
[sw31664]
- bounds both the number of iterations and the error in the approximate solution...
-
SAFECode
- Referenced in 4 articles
[sw13323]
- possible memory errors due to dangling pointer references, uninitialized pointers, and array bounds overflow ... never invalidated by any possible memory errors. We formalize our approach as a new type ... dangling pointer references and certain array bounds errors) cannot invalidate the call graph, points...
-
BFComp
- Referenced in 3 articles
[sw18654]
- designed to provide tight bounds on the squared output errors between systems whenever possible ... attempted first, and if the resulting error bounds are not satisfactory, SOSP 1 is used ... composed system can be replaced-with bounded error-by an approximately equivalent abstraction, thereby enabling ... then be used to obtain bounds on the error between the outputs of the original...