
Bonmin
 Referenced in 214 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 53 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 39 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...

SHOT
 Referenced in 23 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...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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