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

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

MPFI
 Referenced in 43 articles
[sw00597]
 Motivations for an arbitrary precision interval arithmetic and...

PARI/GP
 Referenced in 636 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

polymake
 Referenced in 314 articles
[sw00724]
 polymake is open source software for research in...

SageMath
 Referenced in 1970 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SDPA
 Referenced in 184 articles
[sw03275]
 SDPA (SemiDefinite Programming Algorithm)” is one of the...

AMPL
 Referenced in 617 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

PETSc
 Referenced in 1541 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

SolvOpt
 Referenced in 50 articles
[sw04332]
 The program SolvOpt (Solver for local optimization problems...

Ipopt
 Referenced in 740 articles
[sw04808]
 Ipopt (Interior Point OPTimizer, pronounced eyepeaOpt...

NSO
 Referenced in 8 articles
[sw05272]
 Nonsmooth optimization (NSO) refers to the general problem...

PBNCGC
 Referenced in 22 articles
[sw06156]
 proximal bundle solver PBNCGC: MPBNGC is a multiobjective...

PNEW
 Referenced in 75 articles
[sw06157]
 Algorithm 811: NDA: algorithms for nondifferentiable optimization We...

QSM
 Referenced in 20 articles
[sw06161]
 QSM is a Fortran implementation of the quasi...

LDGB
 Referenced in 42 articles
[sw07134]
 New limited memory bundle method for largescale...

Flyspeck
 Referenced in 121 articles
[sw10277]
 Communicating formal proofs: the case of flyspeck. We...

plantri
 Referenced in 69 articles
[sw10864]
 Fast generation of planar graphs. The program Plantri...

MPBNGC
 Referenced in 22 articles
[sw11891]
 Multiobjective proximal bundle method for nonconvex nonsmooth optimization...