
INTLAB
 Referenced in 446 articles
[sw04004]
 unconstrained optimization) roots of univariate and multivariate nonlinear equations (simple and clusters) eigenvalue problems (simple ... polynomial zeros (simple and clusters) interval arithmetic for real and complex data including vectors ... matrices (very fast) interval arithmetic for real and complex sparse matrices (very fast) automatic differentiation ... computations, fast) Gradients (to solve systems of nonlinear equations) Hessians (for global optimization) Taylor series...

RealPaver
 Referenced in 51 articles
[sw04401]
 solving nonlinear and nonconvex constraint satisfaction and optimization problems over the real numbers. The decision ... defined by analytical expressions involving usual arithmetic operations and transcendental elementary functions. Rigourousness: Realpaver covers...

JBernstein
 Referenced in 2 articles
[sw19486]
 constraints. Efficient and scalable verification of nonlinear real arithmetic constraints is essential in many automated ... issues with classical decision procedures for nonlinear real arithmetic are still a major obstacle...

IBEX
 Referenced in 12 articles
[sw11947]
 library for constraint processing over real numbers. It provides reliable algorithms for handling nonlinear ... based on interval arithmetic and affine arithmetic. The main feature of Ibex is its ability ... each solution of a system of (nonlinear) equations is calculated. Global optimization. A global minimizer...

EFSMT
 Referenced in 2 articles
[sw19487]
 distributed and embedded realtime systems for controlling, often in a nonlinear way, the environment ... propositional combinations over constraints (including nonlinear arithmetic), as the logical framework and foundation for analyzing...

ATCase
 Referenced in 0 articles
[sw25243]
 provided. Concretely, for the difficulty of solving nonlinear constrains aspect, lowrank moment matrix recover ... interval arithmetic at the computation procedure to provide an interval containing the real root ... ATCase are the algorithm of computing real solutions of polynomial constraints, the interval analysis ... tool KLEEFP. Experiments on 22 complicated real programs in open source projects show that...

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

AXIOM
 Referenced in 172 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

BPOLY
 Referenced in 13 articles
[sw00089]
 Algorithm 812: BPOLY: An objectoriented library of...

cdd
 Referenced in 112 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

CoCoA
 Referenced in 646 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

CoCoALib
 Referenced in 59 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

Coq
 Referenced in 1845 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 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

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

Dafny
 Referenced in 70 articles
[sw00183]
 Dafny is an imperative objectbased language with...

FGb
 Referenced in 245 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...