NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials
DOI10.1080/10556788.2010.544312zbMath1226.90063OpenAlexW2057445306MaRDI QIDQ3093048
Kristijan Cafuta, Janez Povh, Igor Klep
Publication date: 12 October 2011
Published in: Optimization Methods and Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/10556788.2010.544312
Semidefinite programming (90C22) Applications of mathematical programming (90C90) Sums of squares and representations by other particular quadratic forms (11E25) Free algebras (08B20) Real algebra (13J30) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04)
Related Items (19)
Uses Software
Cites Work
- Unnamed Item
- Semidefinite programming and sums of Hermitian squares of noncommutative polynomials
- A boundary point method to solve semidefinite programs
- Noncommutative sums of squares
- Advances on the Bessis-Moussa-Villani trace conjecture
- Equivalent forms of the Bessis-Moussa-Villani conjecture
- Sums of Hermitian squares and the BMV conjecture
- An algorithm for sums of squares of real polynomials
- Matrix inequalities: A symbolic procedure to determine convexity automatically
- An independent benchmarking of SDP and SOCP solvers
- Semidefinite programming relaxations for semialgebraic problems
- ``Positive noncommutative polynomials are sums of squares.
- Computing sum of squares decompositions with rational coefficients
- Connes' embedding conjecture and sums of Hermitian squares
- Monotonic converging variational approximations to the functional integrals in quantum statistical mechanics
- Convergent Relaxations of Polynomial Optimization Problems with Noncommuting Variables
- GloptiPoly 3: moments, optimization and semidefinite programming
- Semidefinite optimization
- Guaranteed Minimum-Rank Solutions of Linear Matrix Equations via Nuclear Norm Minimization
- Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
- Convex Noncommutative Polynomials Have Degree Two or Less
- Implementation and evaluation of SDPA 6.0 (Semidefinite Programming Algorithm 6.0)
- SOSTOOLS and Its Control Applications
- Detecting Global Optimality and Extracting Solutions in GloptiPoly
- Regularization Methods for Semidefinite Programming
- Factorization of operator-valued polynomials in several non-commuting variables
This page was built for publication: NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials