• INTOPT_90

  • Referenced in 306 articles [sw04705]
  • interval arithmetic, solving linear interval equations, automatic differentiation and code list generation, interval Newton method ... interval scope of the book. A groad chapter (42 pages) about interval software follows. Described ... authors own results and it provides techniques to transform linear interval equations into ones which...
  • hikmot

  • Referenced in 12 articles [sw34524]
  • implementation of interval arithmetic and Krawczyk’s Test. These techniques represent an improvement over existing...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • defined by analytical expressions involving usual arithmetic operations and transcendental elementary functions. Rigourousness: Realpaver covers ... certainty. Solving methods: Realpaver implements correctly rounded interval-based computations in a branch-and-bound ... various fields: interval fixed-point operators, constraint propagation and local consistency techniques, local optimization using ... benchmarks are also provided. Interval arithmetic is supported by gaol...
  • FEAST

  • Referenced in 92 articles [sw04025]
  • eigenvalues and eigenvectors within a given search interval. It is based on an innovative fast ... iteration based techniques (Arnoldi and Lanczos algorithms) or other Davidson-Jacobi techniques. The FEAST algorithm ... density-matrix representation and contour integration technique in quantum mechanics. It is free from explicit ... systems. It includes double and single precision arithmetic, and all the interfaces are compatible with...
  • MOBILE

  • Referenced in 9 articles [sw10866]
  • interval arithmetic help to implement new transmission elements, and reports on interval modeling of dynamics ... latter case, the interval extension of MOBILE enhanced with an interval initial value problem solver ... insights into techniques used to enhance already existing modeling software with interval arithmetic concepts...
  • ACRITH-XSC

  • Referenced in 49 articles [sw00015]
  • these calculations. For example, self-validating numerical techniques have been successfully applied to a variety ... data conversion and arithmetic operators with rounding control, interval and complex interval arithmetic, accurate vector/matrix...
  • ValEncIA

  • Referenced in 19 articles [sw08735]
  • guaranteed bounds for the uncertainties are known, interval methods can be applied to obtain validated ... state equations, Taylor model arithmetic, as well as simulation techniques employing splitting and merging routines...
  • Lorenz-Database

  • Referenced in 6 articles [sw14477]
  • computed using high-precision arithmetic and mixing several techniques resulting in 1000 digits of precision ... initial conditions of the periodic orbits, and intervals of size 10100 that prove the existence...
  • InC++

  • Referenced in 3 articles [sw22627]
  • Classical interval arithmetic (IA) (Moore, 1966) is extended by open ended intervals, the notion ... complement” and discontinuous intervals. Both algebraic and numerical IA techniques are combined for obtaining...
  • AERN

  • Referenced in 1 article [sw09495]
  • real numbers, (piecewise continuous) real functions and interval functions. Currently, AERN contains some applications ... flexibility and reusability. The main techniques employed are Kaucher arithmetic and automatic polynomial approximation...
  • RangeLab

  • Referenced in 1 article [sw38042]
  • floating-point or fixed-point computations. Given intervals for the inputs, Range Lab computes ... result of the computation in the computer arithmetic but also a bound on the difference ... this article, we describe the techniques implemented in the tool. In particular, Range Lab uses ... numerical-formal evaluation technique used to limit the wrapping effect in interval computations...
  • UniVerMec

  • Referenced in 1 article [sw35265]
  • Development, Assessment, Interoperable Use of Verfied Techniques. Verified algorithms play an important role ... interoperability between different verified range arithmetics and their numerical comparability. In this thesis, a theoretical ... arithmetics without altering their verification features. For this purpose, we formalize the arithmetics using ... mathematical function by inclusion functions in different arithmetics and allow for representing particular features...
  • ATCase

  • Referenced in 0 articles [sw25243]
  • algorithm based on polynomial system solving technique and interval verification is provided. Concretely ... computation, we make good use of interval arithmetic at the computation procedure to provide...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

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

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

  • Referenced in 153 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

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