
TRESNEI
 Referenced in 15 articles
[sw05208]
 trustregion solver for systems of nonlinear equalities and inequalities The Matlab implementation ... region GaussNewton method for boundconstrained nonlinear leastsquares problems is presented. The solver ... handles the solution of nonlinear systems of equalities and inequalities. The structure and the usage...

CML
 Referenced in 10 articles
[sw26227]
 Systems, generates maximum likelihood estimates with general parametric constraints (linear or nonlinear, equality or inequality...

MUSCODII
 Referenced in 19 articles
[sw13053]
 index one. MUSCODII can treat system models formulated either in the gPROMS modeling language ... capability to solve highly nonlinear problems with complex equality or inequality constraints on states...

CONMAX
 Referenced in 2 articles
[sw05155]
 standard nonlinear programming problem (optimization problem with a finite number of equalityinequality constraints ... iteration of the algorithm solves approximately a system of nonlinear ordinary differential equations...

SQOPT
 Referenced in 18 articles
[sw07860]
 point for a set of linear equalities and inequalities. SQOPT uses a twophase, active ... SNOPT package for largescale nonlinearly constrained optimization. The source code is reentrant ... format used by commercial mathematical programming systems...

interval toolbox
 Referenced in 1 article
[sw14907]
 equality/inequality systems, with or without nonlinear constraint (constraints can be equalities or inequalities); graphical interface...

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

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

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

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

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

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

HSL
 Referenced in 274 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

Isabelle
 Referenced in 624 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

KNITRO
 Referenced in 182 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LANCELOT
 Referenced in 304 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LAPACK
 Referenced in 1649 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 372 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

Magma
 Referenced in 3052 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5199 articles
[sw00545]
 The result of over 30 years of cutting...