
INTLAB
 Referenced in 407 articles
[sw04004]
 unconstrained optimization) roots of univariate and multivariate nonlinear equations (simple and clusters) eigenvalue problems (simple ... univariate 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...

cc(FD)
 Referenced in 17 articles
[sw21237]
 scheme [21]. Its constraint solver includes (nonlinear) arithmetic constraints over natural numbers which are approximated...

Beaver
 Referenced in 9 articles
[sw00071]
 including signed and unsigned nonlinear arithmetic operators. Beaver is specially adapted for solving ... path feasibility queries), security (rich in nonlinear arithmetic) and equivalence checking (rich Boolean structure...

INTOPT_90
 Referenced in 304 articles
[sw04705]
 first chapter (69 pages) introduces interval arithmetic, solving linear interval equations, automatic differentiation and code ... tighter solution intervals. The chapter about solving nonlinear systems of equations (23 pages) features...

RealPaver
 Referenced in 50 articles
[sw04401]
 optimization. Problems: Realpaver allows modeling and solving nonlinear and nonconvex constraint satisfaction and optimization problems ... defined by analytical expressions involving usual arithmetic operations and transcendental elementary functions. Rigourousness: Realpaver covers...

EFSMT
 Referenced in 2 articles
[sw19487]
 propositional combinations over constraints (including nonlinear arithmetic), as the logical framework and foundation for analyzing ... BIBO stability, Lyapunov coefficient finding for nonlinear control systems, distributed priority synthesis for orchestrating system ... solver uses Bernstein polynomials for solving nonlinear arithmetic constraints...

LISPSTAT
 Referenced in 115 articles
[sw01111]
 Common Lisp. LispStat extends standard Lisp arithmetic operations to perform elementwise operations ... statistical model representations, such as linear and nonlinear regression models and generalized linear models. Many...

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...

Bellerophon
 Referenced in 1 article
[sw23943]
 discovering and establishing invariants of nonlinear continuous systems, arithmetic simplifications to maximize the benefit...

IBEX
 Referenced in 12 articles
[sw11947]
 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...

Intsolver
 Referenced in 3 articles
[sw08787]
 functions based on interval arithmetic to solve small size global optimization problems with guaranteed bounds ... used to bound ALL solutions of nonlinear optimization problem, equality constrained or not as well...

VS2DT
 Referenced in 2 articles
[sw08695]
 Freundlich or Langmuir) isotherms, and ion exchange. Nonlinear storage terms are linearized by an implicit ... cell boundaries using full upstream weighting, arithmetic mean or geometric mean. Saturated hydraulic conductivities...

DYNROT
 Referenced in 2 articles
[sw02656]
 study of nonstationary motions of nonlinear rotating systems and for the torsional analysis ... symmetric systems. Makes extensive use of complex arithmetics in all parts of the analysis. Applies...

ORT1
 Referenced in 1 article
[sw16624]
 noise is presented. The problem of calibrating nonlinear measuring devices may be considered ... highdegree fits in singleprecision arithmetics; (b) fast and accurate telescoping of orthonormal polynomial...

DEQuadrature
 Referenced in 1 article
[sw12625]
 semiinfinite and infinite domains in arithmetic up to and including BigFloat; and, to provide ... Julia package Ipopt for solving the nonlinear program...

ATCase
 Referenced in 0 articles
[sw25243]
 provided. Concretely, for the difficulty of solving nonlinear constrains aspect, lowrank moment matrix recover ... computation, we make good use of interval arithmetic at the computation procedure to provide ... KLEEFP, especially in case of complex nonlinear constraints...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADOLC
 Referenced in 221 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

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

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