This repository is a companion to the experiments of the paper (Section 7):

[1] Simone Naldi, Mohab Safey El Din, Adrien Taylor, and Weijia Wang. "Solving generic parametric linear matrix inequalities."

Date: February 2025

Version: February 2025

List of examples: pdf tex

(1) Sums-of-squares examples

• Main document: pdf tex
• Maple program for generating the LMIs: code

(2) Algorithm analysis

• Main document: pdf tex
• Wolfram notebook for generating the LMI for the proximal-point method: notebook
• Wolfram notebook for generating the LMI for the gradient method: notebook

• Simone Naldi
• Mohab Safey El Din
• Adrien Taylor
• Weijia Wang