NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials
DOI10.1080/10556788.2010.544312zbMATH Open1226.90063OpenAlexW2057445306MaRDI QIDQ3093048FDOQ3093048
Kristijan Cafuta, Janez Povh, Igor Klep
Publication date: 12 October 2011
Published in: Optimization Methods \& Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/10556788.2010.544312
Applications of mathematical programming (90C90) Semidefinite programming (90C22) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04) Free algebras (08B20) Sums of squares and representations by other particular quadratic forms (11E25) Real algebra (13J30)
Cites Work
- Title not available (Why is that?)
- Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
- Detecting Global Optimality and Extracting Solutions in GloptiPoly
- Regularization Methods for Semidefinite Programming
- Guaranteed Minimum-Rank Solutions of Linear Matrix Equations via Nuclear Norm Minimization
- Semidefinite programming relaxations for semialgebraic problems
- GloptiPoly 3: moments, optimization and semidefinite programming
- Semidefinite optimization
- SOSTOOLS and Its Control Applications
- A boundary point method to solve semidefinite programs
- An independent benchmarking of SDP and SOCP solvers
- ``Positive noncommutative polynomials are sums of squares.
- Monotonic converging variational approximations to the functional integrals in quantum statistical mechanics
- Sums of Hermitian squares and the BMV conjecture
- Connes' embedding conjecture and sums of Hermitian squares
- Convergent Relaxations of Polynomial Optimization Problems with Noncommuting Variables
- Factorization of operator-valued polynomials in several non-commuting variables
- Matrix inequalities: A symbolic procedure to determine convexity automatically
- Computing sum of squares decompositions with rational coefficients
- Convex Noncommutative Polynomials Have Degree Two or Less
- Semidefinite programming and sums of Hermitian squares of noncommutative polynomials
- Noncommutative sums of squares
- An algorithm for sums of squares of real polynomials
- Equivalent forms of the Bessis-Moussa-Villani conjecture
- Advances on the Bessis-Moussa-Villani trace conjecture
- Implementation and evaluation of SDPA 6.0 (Semidefinite Programming Algorithm 6.0)
Cited In (21)
- On real one-sided ideals in a free algebra
- Noncommutative polynomials nonnegative on a variety intersect a convex set
- The tracial moment problem and trace-optimization of polynomials
- Sums of Hermitian squares decomposition of non-commutative polynomials in non-symmetric variables using NCSOStools
- RepLAB: A Computational/Numerical Approach to Representation Theory
- Algorithm 950: Ncpol2sdpa -- sparse semidefinite programming relaxations for polynomial optimization problems of noncommuting variables
- Minimizer Extraction in Polynomial Optimization Is Robust
- Constrained trace-optimization of polynomials in freely noncommuting variables
- Optimization over trace polynomials
- A note on the nonexistence of sum of squares certificates for the Bessis–Moussa–Villani conjecture
- The convex Positivstellensatz in a free algebra
- Title not available (Why is that?)
- NCSOStools
- Certifying optimality of Bell inequality violations: noncommutative polynomial optimization through semidefinite programming and local optimization
- Algorithmic aspects of sums of Hermitian squares of noncommutative polynomials
- SDP Relaxations for Non-Commutative Polynomial Optimization
- Sparse noncommutative polynomial optimization
- Convexity and Semidefinite Programming in Dimension-Free Matrix Unknowns
- Semidefinite programming and sums of Hermitian squares of noncommutative polynomials
- The length classification of threefold flops via noncommutative algebras
- trace-positive non-commutative polynomials
Uses Software
This page was built for publication: NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3093048)