
Qhull
 Referenced in 308 articles
[sw04419]
 element of b).Qhull accounts for roundoff error. It returns ”thick” facets defined...

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

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

HSolver
 Referenced in 42 articles
[sw07419]
 does not depend on floating point rounding errors. It can handle nonlinear ordinary differential...

DiffSharp
 Referenced in 39 articles
[sw16033]
 which is prone to truncation and roundoff errors, and symbolic differentiation, which is affected...

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

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

Algorithm 800
 Referenced in 10 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...

PADRE2
 Referenced in 14 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...

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

PCOMP
 Referenced in 21 articles
[sw00688]
 respect to CPU time and contain roundoff errors, but also handcoded differentiation. This...

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...

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

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...

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

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

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

caTools
 Referenced in 7 articles
[sw12945]
 LogitBoost classifier, base64 encoder/decoder, roundofferrorfree sum and cumsum...

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