• 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, open-source 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 Scientific 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 eye-pea-Opt...
  • 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 large-scale...
  • 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...