
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]
 evergrowing 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 stateoftheart 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...