• CADNA

  • Referenced in 47 articles [sw00098]
  • CADNA library enables one to estimate round-off error propagation using a probabilistic approach. With ... quality of any simulation program can be controlled. Furthermore by detecting all the instabilities which ... which round-off errors can be estimated. Slight modifications are required to control a code ... interpret the information it provides concerning round-off error propagation in a code...
  • DiffSharp

  • Referenced in 95 articles [sw16033]
  • which is prone to truncation and round-off errors, and symbolic differentiation, which is affected ... expression swell and cannot fully handle algorithmic control flow. Using the DiffSharp library, differentiation (gradients...
  • PCOMP

  • Referenced in 21 articles [sw00688]
  • require derivatives, e.g., in nonlinear programming, optimal control, parameter estimation, and differential equations. The basic ... respect to CPU time and contain round-off errors, but also hand-coded differentiation. This...
  • ACRITH-XSC

  • Referenced in 49 articles [sw00015]
  • there is no need to perform an error analysis by hand for these calculations ... data conversion and arithmetic operators with rounding control, interval and complex interval arithmetic, accurate vector/matrix...
  • SpaceHub

  • Referenced in 1 article [sw38106]
  • first regularized Radau integrator with round off error control down to 64 bits floating point...
  • SAM

  • Referenced in 2 articles [sw04882]
  • arbitrary precision, but round-off errors still occur and must be controlled. Interval arithmetic ... huge applications. The CADNA library estimates round-off error propagation using stochastic arithmetic. CADNA ... library SAM makes it possible to dynamically control the numerical methods used and more particularly...
  • UnstableManifoldCompactMap

  • Referenced in 1 article [sw22780]
  • computations we develop a-posteriori error bounds for the approximations. Numerical implementation ... combined with deliberate control of float- ing point round-off errors (or interval arithmetic), leads...
  • Algorithm 800

  • Referenced in 11 articles [sw04405]
  • tests used, which include several applications in control theory. Tests on randomly generated matrices confirm ... Hamiltonian, which are destroyed by rounding errors using DGEEVX. The eigenvalues of larger magnitude...
  • SLICE

  • Referenced in 5 articles [sw30997]
  • SLICE library. The algorithms developed in the control literature have generally been devised from ... precision arithmetic of digital computers. The rounding errors which then result can cause many ... library of numerically reliable Fortran algorithms for control...
  • CAMPARY

  • Referenced in 5 articles [sw15156]
  • while also allowing for rigorously proven rounding error bounds. This allows as well ... chaotic dynamical systems or automatic control...
  • PRECiSA

  • Referenced in 2 articles [sw38041]
  • approximation of the accumulated floating-point round-off error that may occur. In addition ... computed error approximation is also computed. An abstraction on the control flow of the program ... stating the correctness of the computed round-off errors...
  • SOREMO

  • Referenced in 2 articles [sw21006]
  • extent to which she trusts him controlling for her general tendency toward trusting others ... trusts her. To differentiate relationship from error variance, multiple indicators of the construct, either across ... most common Social Relations design is the round-robin research design. In this design, each...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • C-XSC

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