• INTLAB

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

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

• Referenced in 30 articles [sw03055]
• different environments under various metrics (return, error bound reduction, lower bound improvement). Our experimental results...
• 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 181 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 10 articles [sw07157]
• formulas, where $delta$ is a numerical error bound specified by the user. dReal also produces...
• ESOLID

• Referenced in 9 articles [sw15824]
• filters, arbitrary floating-point arithmetic with error bounds, and lower-dimensional 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...

• 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...
• 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 error-bounded approximation of high-dimensional 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 223 articles [sw04076]
• includes two efficient estimation methods for both error rate and precision/recall. XiAlpha-estimates [Joachims, 2002a ... solving a sequence of optimization problems lower-bounding the solution using a form of local...
• BFComp

• Referenced in 2 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...
• SNIFF

• Referenced in 3 articles [sw20679]
• estimate with accuracy within the assigned error bounds. The implied method for local generation...