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