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

PRECiSA
 Referenced in 2 articles
[sw38041]
 abstract interpretation framework for the roundoff error analysis of floatingpoint programs. This paper ... abstract interpretation framework for the roundoff error analysis of floatingpoint programs. This framework ... approximation of the accumulated floatingpoint roundoff error that may occur. In addition ... stating the correctness of the computed roundoff errors...

CONTIDNS
 Referenced in 1 article
[sw18602]
 orthogonal parameter estimation algorithm a roundingerror analysis is performed. We illustrate the presented method...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 need to perform an error analysis by hand for these calculations. For example, selfvalidating ... data conversion and arithmetic operators with rounding control, interval and complex interval arithmetic, accurate vector/matrix...

Compqd
 Referenced in 2 articles
[sw29675]
 algorithm. We study in detail the error analysis of the qd and Compqd algorithms ... numbers so that the relative forward rounding error bounds can be derived directly. Our numerical...

SLICE
 Referenced in 5 articles
[sw30997]
 precision arithmetic of digital computers. The rounding errors which then result can cause many ... data supplied is poorly scaled. The numerical analysis background required to study these problems...

IgBLAST
 Referenced in 1 article
[sw23145]
 gene and the joining (J) gene. Analysis of IG sequences typically requires identification of each ... variable length of each gene requires multiple rounds of BLAST searches for a single ... assembly of different genes is difficult and errorprone. To address these issues ... sequences, we have developed the sequence analysis tool IgBLAST (http://www.ncbi.nlm.nih.gov/igblast/). With this tool...

RangeLab
 Referenced in 1 article
[sw38042]
 well as a range for the round off errors arising during the computation. Hence ... precision. Range Lab is based on static analysis by abstract interpretation and, in this article...

Algorithm 1010
 Referenced in 1 article
[sw35945]
 cope with the detrimental effect of roundoff errors, no matter what set of quartic ... cases and by carrying out a statistical analysis over a very large set of quartics...

ANSYS
 Referenced in 662 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

ACL2
 Referenced in 279 articles
[sw00060]
 ACL2 is both a programming language in which...

BARON
 Referenced in 316 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CADNA
 Referenced in 42 articles
[sw00098]
 CADNA: a library for estimating roundoff error...

CGAL
 Referenced in 360 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Chronos
 Referenced in 5 articles
[sw00125]
 The EDPEPPS toolset is the fruit of a...

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

CXSC
 Referenced in 108 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 125 articles
[sw00182]
 A C++ class library for extended scientific computing...