• INTLAB

  • Referenced in 267 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 85 articles [sw00930]
  • relative backward error, and estimate error bounds for the refined solutions...
  • SuperLU-DIST

  • Referenced in 58 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 22 articles [sw10939]
  • steps to guarantee a given local error bound. In addition, we propose an improved approximation...
  • MatSol

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

  • Referenced in 20 articles [sw10803]
  • code. We also review the error bounds on the multipole approximations involved in treecodes...
  • EGO

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

  • Referenced in 8 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...
  • 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 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 220 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...
  • 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...