
CFSQP
 Referenced in 61 articles
[sw04658]
 satisfy these constraints. Nonlinear equality constraints are turned into inequality constraints (to be satisfied ... exact penalty function which penalizes nonlinear equality constraint violations only. When solving problems with many ... nonlinear equality constraints are present) decrease at each iteration after feasibility for nonlinear inequality ... objective functions if there is no nonlinear equality constraints, or an exact penalty function...

TRESNEI
 Referenced in 15 articles
[sw05208]
 region solver for systems of nonlinear equalities and inequalities The Matlab implementation of a trust ... 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...

alabama
 Referenced in 12 articles
[sw09332]
 functions with constraints. Linear or nonlinear equality and inequality constraints are allowed...

CML
 Referenced in 10 articles
[sw26227]
 general parametric constraints (linear or nonlinear, equality or inequality), using the sequential quadratic programming method...

MUSCODII
 Referenced in 19 articles
[sw13053]
 capability to solve highly nonlinear problems with complex equality or inequality constraints on states...

PROC NLP
 Referenced in 3 articles
[sw12070]
 function subject to linear and nonlinear, equality and inequality, and lower and upper bound constraints ... from optimal control to maximum likelihood estimation. Nonlinear programs can be input into the procedure...

NlcOptim
 Referenced in 1 article
[sw31431]
 constraint functions. Linear or nonlinear equality and inequality constraints are allowed. It accepts the input...

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

interval toolbox
 Referenced in 1 article
[sw14907]
 with or without nonlinear constraint (constraints can be equalities or inequalities); graphical interface to visualize...

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

NLPL1
 Referenced in 1 article
[sw25050]
 user’s guide. Purpose: NLPL1 solves constrained nonlinear optimization problems, where the objective function ... there may be any set of equality or inequality constraints. It is assumed that ... problem is transformed into a general smooth nonlinear programming problem which is then solved...

SPENBAR
 Referenced in 1 article
[sw08452]
 modified penalty algorithm for solving largescale nonlinear programming problems. It uses only onedimensional ... sparsity of the Jacobians of the inequality and equality constraints. Using a modified penalty method...

ADOLC
 Referenced in 242 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 1818 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 2948 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 617 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...