• SDPpack

  • Referenced in 51 articles [sw04333]
  • space of block diagonal, symmetric, positive semidefinite matrices. Applications arise in many areas, especially robust...
  • SMCP

  • Referenced in 4 articles [sw04727]
  • matrix cones: the cone of positive semidefinite matrices with a given chordal sparsity pattern ... cone of chordal sparse matrices that have a positive semidefinite completion. The implementation takes advantage...
  • QETLAB

  • Referenced in 51 articles [sw20493]
  • ever-growing catalogue of separability criteria, positive maps, and related functions of interest. Furthermore, QETLAB ... well both with full matrices and with large sparse matrices, and makes use of many ... advanced techniques based on semidefinite programming...
  • AMD

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

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

  • Referenced in 308 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BPMPD

  • Referenced in 40 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • cdd

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

  • Referenced in 1776 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

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

  • Referenced in 39 articles [sw00235]
  • eigifp is a MATLAB program for computing a...
  • FGb

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

  • Referenced in 2829 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 263 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Kronecker

  • Referenced in 107 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • LAPACK

  • Referenced in 1617 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LGS

  • Referenced in 15 articles [sw00517]
  • In the paper we present LGS -- a geometric...
  • LSQR

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

  • Referenced in 1639 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

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