
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 intervalbased computations in a branchandbound ... various fields: interval fixedpoint 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 DavidsonJacobi techniques. The FEAST algorithm ... densitymatrix 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...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 these calculations. For example, selfvalidating 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...

LorenzDatabase
 Referenced in 6 articles
[sw14477]
 computed using highprecision 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]
 floatingpoint or fixedpoint 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 ... numericalformal 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...

ADOLC
 Referenced in 257 articles
[sw00019]
 ADOLC: 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...