
PENNON
 Referenced in 108 articles
[sw04336]
 Pennon: A code for convex nonlinear and semidefinite programming. We introduce a computer program PENNON ... solution of problems of convex nonlinear and semidefinite programming (NLPSDP). The algorithm used...

SDPLR
 Referenced in 146 articles
[sw04745]
 Monteiro for solving general semidefinite programs (SDPs) using a nonlinear, firstorder algorithm that ... also available for solving specially structured semidefinite programs (SDPs) such as the MaxCut ... technical report ”A Nonlinear Programming Algorithm for Semidefinite Programs via Lowrank Factorization” written...

COMPleib
 Referenced in 59 articles
[sw06359]
 algorithms for linear semidefinite programs (SDPs), nonlinear semidefinite programs (NSDPs), minimizing spectral functions, Lyapunov/Riccati equations...

SNOPT
 Referenced in 543 articles
[sw02300]
 programming (SQP) methods have proved highly effective for solving constrained optimization problems with smooth nonlinear ... problems with general inequality constraints (linear and nonlinear). We assume that first derivatives are available ... particular implementation that makes use of a semidefinite QP solver. It is based...

JuMP
 Referenced in 123 articles
[sw16108]
 linear, mixedinteger, quadratic, conicquadratic, semidefinite, and nonlinear) in a highlevel, algebraic syntax ... advantage of advanced features of the Julia programming language to offer unique functionality while achieving...

TOMSYM
 Referenced in 3 articles
[sw06288]
 types, including: Linear and quadratic programming Nonlinear and semidefinite programming Least squares problem...

Pajarito
 Referenced in 4 articles
[sw33900]
 Pajarito is a mixedinteger convex programming (MICP) solver package written in Julia. MICP problems ... rotated secondorder, (primal) exponential, and positive semidefinite cones. MISOCP and MISDP are two established ... algorithms that use a derivativebased nonlinear programming (NLP) solver (e.g. Ipopt) instead...

SpeeDP
 Referenced in 4 articles
[sw07003]
 instances We consider lowrank semidefinite programming (LRSDP) relaxations of unconstrained ${1,1}$ quadratic problems ... formulated as the nonconvex nonlinear programming problem of minimizing a quadratic function subject...

POCP
 Referenced in 1 article
[sw05185]
 YALMIP. It is aimed at approximately solving nonlinear optimal control problems for which ... turn converted by GloptiPoly 3 as semidefinite programming problems...

tensegrity
 Referenced in 1 article
[sw41265]
 describe the space of solutions will require (nonlinear) polynomials. In our examples, minors ... Tools from algebraic geometry, commutative algebra, semidefinite programming, and numerical algebraic geometry will be used...

AMD
 Referenced in 60 articles
[sw00039]
 Algorithm 837: AMD is a set of routines...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

BPMPD
 Referenced in 41 articles
[sw00088]
 BPMPD is a stateoftheart implementation...

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

complib
 Referenced in 34 articles
[sw00149]
 COMPlib: COnstraint matrixoptimization problem library–a collection...

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

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

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

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