• INTLAB

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

  • Referenced in 179 articles [sw00930]
  • relative backward error, and estimate error bounds for the refined solutions...
  • AS 195

  • Referenced in 98 articles [sw14058]
  • Multivariate normal probabilities with error bound...
  • SuperLU-DIST

  • Referenced in 87 articles [sw00002]
  • relative backward error, and estimate error bounds for the refined solutions...
  • SpaceEx

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

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

  • Referenced in 362 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 28 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 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...
  • ESOLID

  • Referenced in 11 articles [sw15824]
  • filters, arbitrary floating-point arithmetic with error bounds, and lower-dimensional formulation of subproblems. ESOLID...
  • PROXIMUS

  • Referenced in 10 articles [sw04989]
  • PROXIMUS is a software tool for error-bounded approximation of high-dimensional binary attributed datasets...
  • ASKIT

  • Referenced in 10 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 7 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...
  • CAMPARY

  • Referenced in 5 articles [sw15156]
  • also allowing for rigorously proven rounding error bounds. This allows as well for an interval...
  • SOFAR

  • Referenced in 5 articles [sw31665]
  • assisted nonconvex optimization, we derive nonasymptotic error bounds for the suggested procedure characterizing the theoretical...