Computing rational solutions of linear matrix inequalities

DOI10.1145/2465506.2465949zbMath1360.68934OpenAlexW2011936157MaRDI QIDQ2963234

Qingdong Guo, Lihong Zhi, Mohab Safey El Din

Publication date: 10 February 2017

Published in: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-00815174/file/rational-lmi-6.pdf

zbMATH Keywords

complexitysemidefinite programminglinear matrix inequalityconvexityrational sum of squareseffective real algebraic geometry

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semidefinite programming (90C22) Linear inequalities of matrices (15A39) Real algebraic sets (14P05) Matrices over special rings (quaternions, finite fields, etc.) (15B33)

Related Items (6)

Dual Certificates and Efficient Rational Sum-of-Squares Decompositions for Polynomial Optimization over Compact Sets ⋮ Efficient monochromatic and bichromatic probabilistic reverse top-\(k\) query processing for uncertain big data ⋮ Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials ⋮ Exact algorithms for semidefinite programs with degenerate feasible set ⋮ On exact Reznick, Hilbert-Artin and Putinar's representations ⋮ Exact Algorithms for Linear Matrix Inequalities

Uses Software

• RAGlib

This page was built for publication: Computing rational solutions of linear matrix inequalities