This repository is a companion to the experiments in the following papers:

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

Date: January 2026

Version: January 2026

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 descent method: notebook
• Wolfram notebook for generating the LMI for the stochastic gradient descent method: notebook
• Wolfram notebook for generating the LMI for the Lyapunov function for gradient descent method: notebook

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