-
INTLAB
- Referenced in 471 articles
[sw04004]
- slow) multiple precision interval arithmetic with error bounds (does the job, slow...
-
SuperLU
- Referenced in 195 articles
[sw00930]
- relative backward error, and estimate error bounds for the refined solutions...
-
AS 195
- Referenced in 100 articles
[sw14058]
- Multivariate normal probabilities with error bound...
-
SuperLU-DIST
- Referenced in 90 articles
[sw00002]
- relative backward error, and estimate error bounds for the refined solutions...
-
SpaceEx
- Referenced in 75 articles
[sw10939]
- steps to guarantee a given local error bound. In addition, we propose an improved approximation...
-
EGO
- Referenced in 393 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...
-
POMDPS
- Referenced in 39 articles
[sw03055]
- different environments under various metrics (return, error bound reduction, lower bound improvement). Our experimental results...
-
dReal
- Referenced in 30 articles
[sw07157]
- formulas, where δ is a numerical error bound specified by the user. dReal also produces...
-
HOT
- Referenced in 26 articles
[sw10803]
- code. We also review the error bounds on the multipole approximations involved in treecodes...
-
MatSol
- Referenced in 24 articles
[sw12419]
- iterations. Theory yields the error bounds that are independent of conditioning of constraints...
-
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...
-
PROXIMUS
- Referenced in 12 articles
[sw04989]
- PROXIMUS is a software tool for error-bounded approximation of high-dimensional binary attributed datasets...
-
CkAnalytic
- Referenced in 11 articles
[sw19313]
- used to obtain mathematically rigorous error bounds on numerical approximations of solutions of differential equations...
-
ESOLID
- Referenced in 11 articles
[sw15824]
- filters, arbitrary floating-point arithmetic with error bounds, and lower-dimensional formulation of subproblems. ESOLID...
-
ASKIT
- Referenced in 11 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...
-
SOFAR
- Referenced in 7 articles
[sw31665]
- assisted nonconvex optimization, we derive nonasymptotic error bounds for the suggested procedure characterizing the theoretical...
-
ADMiRA
- Referenced in 35 articles
[sw31664]
- bounds both the number of iterations and the error in the approximate solution...
-
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...
-
SimEuler
- Referenced in 5 articles
[sw37946]
- posteriori error estimates for self-similar solutions to the Euler equations. The main goal ... self-similar solution, restricted to a bounded domain with smooth boundary. Given an approximate solution ... Galerkin method, we establish a posteriori error bounds on the distance between the numerical approximation...