A linear algebra method to decompose forms whose length is lower than the number of variables into weighted sum of squares

DOI10.1080/00207179.2018.1457226zbMath1453.93043MaRDI QIDQ5240712

Corrado Possieri, Laura Menini, Antonio Tornambe

Publication date: 29 October 2019

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207179.2018.1457226

zbMATH Keywords

linear algebra; positive semi-definiteness; sum of squares decomposition; control engineering computing

Mathematics Subject Classification ID

68W40: Analysis of algorithms

93B25: Algebraic methods

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

93-08: Computational methods for problems pertaining to systems and control theory

Uses Software

• FFLAS-FFPACK
• LAPACK
• Macaulay2
• Sostools
• SeDuMi
• SDPT3