
INTLAB
 Referenced in 457 articles
[sw04004]
 slow) multiple precision interval arithmetic with error bounds (does the job, slow...

SuperLU
 Referenced in 186 articles
[sw00930]
 relative backward error, and estimate error bounds for the refined solutions...

AS 195
 Referenced in 99 articles
[sw14058]
 Multivariate normal probabilities with error bound...

SuperLUDIST
 Referenced in 89 articles
[sw00002]
 relative backward error, and estimate error bounds for the refined solutions...

SpaceEx
 Referenced in 74 articles
[sw10939]
 steps to guarantee a given local error bound. In addition, we propose an improved approximation...

POMDPS
 Referenced in 38 articles
[sw03055]
 different environments under various metrics (return, error bound reduction, lower bound improvement). Our experimental results...

EGO
 Referenced in 371 articles
[sw07588]
 Global Optimization (EGO) algorithm solves costly boxbounded global optimization problems with additional linear, nonlinear ... approximation by sampling where the prediction error may be high...

dReal
 Referenced in 29 articles
[sw07157]
 formulas, where δ 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 25 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...

PROXIMUS
 Referenced in 11 articles
[sw04989]
 PROXIMUS is a software tool for errorbounded approximation of highdimensional binary attributed datasets...

ESOLID
 Referenced in 11 articles
[sw15824]
 filters, arbitrary floatingpoint arithmetic with error bounds, and lowerdimensional formulation of subproblems. ESOLID...

ASKIT
 Referenced in 10 articles
[sw17470]
 summarize our previous theoretical complexity and error bounds in one place. We present a brief...

CkAnalytic
 Referenced in 9 articles
[sw19313]
 used to obtain mathematically rigorous error bounds on numerical approximations of solutions of differential equations...

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 32 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 opensource 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 selfsimilar solutions to the Euler equations. The main goal ... selfsimilar 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...