
Qhull
 Referenced in 278 articles
[sw04419]
 element of b).Qhull accounts for roundoff 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 roundoff error propagation. The CADNA library enables ... estimate roundoff error propagation using a probabilistic approach. With CADNA the numerical quality ... provides new numerical types on which roundoff errors can be estimated. Slight modifications ... interpret the information it provides concerning roundoff 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 nonlinear ordinary differential...

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

QSoptExact
 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 roundoff errors, but also handcoded 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 roundoff 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 roundoff 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]
 floatingpoint numbers. We make use of errorfree 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...