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

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

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

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

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

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

HOT
 Referenced in 21 articles
[sw10803]
 code. We also review the error bounds on the multipole approximations involved in treecodes...

MatSol
 Referenced in 19 articles
[sw12419]
 iterations. Theory yields the error bounds that are independent of conditioning of constraints...

EGO
 Referenced in 169 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...

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

VSDP
 Referenced in 7 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...

VECTOR_PADE
 Referenced in 6 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...

dReal
 Referenced in 5 articles
[sw07157]
 formulas, where $delta $ is a numerical error bound specified by the user. dReal also produces...

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...

Lurupa
 Referenced in 4 articles
[sw09980]
 Lurupa–rigorous error bounds in linear programming. The software part of my dissertation, Lurupa...

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

MMM2D
 Referenced in 4 articles
[sw18357]
 which can be easily evaluated. Rigorous error bounds for the energies and the forces...

SVMlight
 Referenced in 222 articles
[sw04076]
 includes two efficient estimation methods for both error rate and precision/recall. XiAlphaestimates [Joachims, 2002a ... solving a sequence of optimization problems lowerbounding the solution using a form of local...

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

COCA
 Referenced in 8 articles
[sw05004]
 characterising number of extreme points of the error function. In a first step, the authors ... algorithm which increases the lower bound for the maximal error. The authors present a convergence...