• 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 round-off error analysis of floating-point programs. This paper ... abstract interpretation framework for the round-off error analysis of floating-point programs. This framework ... approximation of the accumulated floating-point round-off error that may occur. In addition ... stating the correctness of the computed round-off errors...
  • CONTIDNS

  • Referenced in 1 article [sw18602]
  • orthogonal parameter estimation algorithm a rounding-error analysis is performed. We illustrate the presented method...
  • ACRITH-XSC

  • Referenced in 49 articles [sw00015]
  • need to perform an error analysis by hand for these calculations. For example, self-validating ... 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 error-prone. 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 round-off 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 round-off error...
  • CGAL

  • Referenced in 360 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • 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...
  • C-XSC

  • Referenced in 108 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

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