• Qhull

  • Referenced in 250 articles [sw04419]
  • element of b).Qhull accounts for round-off error. It returns ”thick” facets defined...
  • DEVEX

  • Referenced in 97 articles [sw08378]
  • effect of this column selection on rounding error is observed. By allowing that a constraint...
  • CADNA

  • Referenced in 32 articles [sw00098]
  • CADNA: a library for estimating round-off error propagation. The CADNA library enables ... estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality ... provides new numerical types on which round-off errors can be estimated. Slight modifications ... interpret the information it provides concerning round-off error propagation in a code...
  • na10

  • Referenced in 42 articles [sw11511]
  • condition, based on a rigorous backward rounding error analysis, guarantees that the computed approximations...
  • HSolver

  • Referenced in 39 articles [sw07419]
  • does not depend on floating point rounding errors. It can handle non-linear ordinary differential...
  • na5

  • Referenced in 24 articles [sw11489]
  • product is close to zero, then rounding errors can seriously affect the algorithm, a situation...
  • QSopt-Exact

  • Referenced in 15 articles [sw05101]
  • results are subject to rounding errors, as is the case with other commerical and academic...
  • PCOMP

  • Referenced in 21 articles [sw00688]
  • respect to CPU time and contain round-off errors, but also hand-coded differentiation. This...
  • WAPR

  • Referenced in 13 articles [sw01011]
  • latter option necessitated by rounding errors that can arise for $x$ close...
  • PADRE2

  • Referenced in 12 articles [sw00667]
  • PADRE2, a Fortran precompiler yielding error estimates and second derivatives. PADRE2 is a precomplier that ... well as the estimates of the rounding errors. The computation involves algorithms based on Fast...
  • Algorithm 800

  • Referenced in 8 articles [sw04405]
  • Hamiltonian, which are destroyed by rounding errors using DGEEVX. The eigenvalues of larger magnitude ... square root of the unit rounding error. Such a loss of accuracy may sometimes...
  • VSDP

  • Referenced in 10 articles [sw04003]
  • orthant. It provides functions for computing rigorous error bounds of the true optimal value, verified ... verified certificates of infeasibility. All rounding errors due to floating point arithmetic are taken into...
  • DiffSharp

  • Referenced in 10 articles [sw16033]
  • which is prone to truncation and round-off errors, and symbolic differentiation, which is affected...
  • L2CXFT

  • Referenced in 9 articles [sw00498]
  • squares of the errors, subject to nonnegativity of second divided differences, in two phases. \parFirst ... accuracy of some calculations when round-off errors accumulate. \parThe subroutine has been applied...
  • IDRStab

  • Referenced in 5 articles [sw09450]
  • norms because of the influence of rounding errors. We therefore propose an alternative recursion formula...
  • CAMPARY

  • Referenced in 3 articles [sw15156]
  • floating-point numbers. We make use of error-free transforms addition and multiplication algorithms, which ... operations, but keep track of all rounding errors. This offers the simplicity of using hardware ... while also allowing for rigorously proven rounding error bounds. This allows as well...
  • TNTool

  • Referenced in 4 articles [sw20656]
  • with them almost as if no rounding errors occur in the process (meaning that...
  • GAIA

  • Referenced in 4 articles [sw03223]
  • point arithmetic is used, thus introducing rounding errors. In CAD system there are tolerances defining...
  • ExactKS2SidedOneSample

  • Referenced in 2 articles [sw25655]
  • avoiding catastrophic cancelation and eliminating rounding error, each of these formulae is implemented in rational...