
Bonmin
 Referenced in 185 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 44 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 34 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 8 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 311 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

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

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

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

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

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

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

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

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

Maple
 Referenced in 5040 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 5883 articles
[sw00554]
 Almost any workflow involves computing results, and that...

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

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