
Bonmin
 Referenced in 192 articles
[sw04766]
 both fundamental building blocks, namely mixed integer linear programming and nonlinear programming, have seen considerable ... which branchandbound and polyhedral outer approximation are the two extreme cases, are proposed...

FilMINT
 Referenced in 45 articles
[sw06197]
 FilMINT: an outer approximationbased solver for convex mixedinteger nonlinear programs. We describe ... integer nonlinear programs (MINLPs) that implements a linearizationbased algorithm. The solver is based...

DICOPT
 Referenced in 35 articles
[sw04938]
 reliability as linear, integer or nonlinear programming modeling, these problems have a rich area ... based on the extensions of the outerapproximation algorithm for the equality relaxation strategy...

MISQPOA
 Referenced in 1 article
[sw07024]
 guaranteed for convex programs. Outer approximation methods apply linear approximations at previous iterates to stabilize...

SHOT
 Referenced in 13 articles
[sw15630]
 algorithm solves a sequence of mixedinteger linear programming or mixedinteger quadratic programming subproblems ... tighter overestimated set and unlike outer approximation the generation point for the supporting hyperplanes...

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

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

EIGIFP
 Referenced in 43 articles
[sw00235]
 eigifp is a MATLAB program for computing a...

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

KNITRO
 Referenced in 184 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 1654 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

MA57
 Referenced in 88 articles
[sw00536]
 MA57  a code for the solution of sparse...

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

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

MARCA
 Referenced in 31 articles
[sw00547]
 MARCA: Markov chain analyzer, a software package for...

Mathematica
 Referenced in 6129 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12721 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

NAG
 Referenced in 420 articles
[sw00610]
 Produced by experts for use in a variety...