
INTLAB
 Referenced in 419 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 50 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 170 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

BARON
 Referenced in 311 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 110 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

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

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

Coq
 Referenced in 1784 articles
[sw00161]
 Coq is a formal proof management system. It...

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

CXSC
 Referenced in 107 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

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

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

GAP
 Referenced in 2850 articles
[sw00320]
 GAP is a system for computational discrete algebra...