• 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 57 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 55 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 324 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 112 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Coq

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

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

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

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

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

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

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

  • Referenced in 1648 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 372 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Macaulay2

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

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