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