• Qhull

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

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

  • Referenced in 36 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 45 articles [sw11511]
  • condition, based on a rigorous backward rounding error analysis, guarantees that the computed approximations...
  • HSolver

  • Referenced in 40 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 16 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...
  • DiffSharp

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

  • Referenced in 12 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...
  • 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...
  • 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...
  • SLICE

  • Referenced in 4 articles [sw30997]
  • precision arithmetic of digital computers. The rounding errors which then result can cause many...
  • GAIA

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