NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials

Convergent Relaxations of Polynomial Optimization Problems with Noncommuting Variables

(2010) S. Pironio et al.   SIAM JOURNAL ON OPTIMIZATION

Guaranteed Minimum-Rank Solutions of Linear Matrix Equations via Nuclear Norm Minimization

(2010) Benjamin Recht et al.   SIAM REVIEW

Semidefinite programming and sums of hermitian squares of noncommutative polynomials

(2009) Igor Klep et al.   JOURNAL OF PURE AND APPLIED ALGEBRA

GloptiPoly 3: moments, optimization and semidefinite programming

(2009) Didier Henrion et al.   OPTIMIZATION METHODS & SOFTWARE

Regularization Methods for Semidefinite Programming

(2009) Jérôme Malick et al.   SIAM JOURNAL ON OPTIMIZATION

Algorithm 883

(2008) Hayato Waki et al.   ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE

Sums of Hermitian Squares and the BMV Conjecture

(2008) Igor Klep et al.   JOURNAL OF STATISTICAL PHYSICS

Computing sum of squares decompositions with rational coefficients

(2008) Helfried Peyrl et al.   THEORETICAL COMPUTER SCIENCE

Connes' embedding conjecture and sums of hermitian squares

(2007) Igor Klep et al.   ADVANCES IN MATHEMATICS