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