Computing rational solutions of linear matrix inequalities

DOI10.1145/2465506.2465949MaRDI QIDQ2963234zbMATH OpenOpenAlexFDO

Authors 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

complexityconvexityeffective real algebraic geometrylinear matrix inequalityrational sum of squaressemidefinite programming

Mathematics Subject Classification ID

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

Recommendations

• Exact algorithms for linear matrix inequalities
• Quadratic-time certificates in linear algebra
• On exact Reznick, Hilbert-Artin and Putinar's representations
• On exact Polya and Putinar's representations

Cited in

(10)

• Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials
• On exact Reznick, Hilbert-Artin and Putinar's representations
• Efficient monochromatic and bichromatic probabilistic reverse top-\(k\) query processing for uncertain big data
• Exact algorithms for linear matrix inequalities
• Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method
• Computing rational points in convex semialgebraic sets and sum of squares decompositions
• Computing solutions of linear Mahler equations
• scientific article; zbMATH DE number 23254 (Why is no real title available?)
• Dual certificates and efficient rational sum-of-squares decompositions for polynomial optimization over compact sets
• Quadratic-time certificates in linear algebra

Describes a project that uses

Uses Software

• RAGlib

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963234)