Solving generic parametric linear matrix inequalities

This webpage 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

Organization & files

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

The files are also available in the GitHub repository.

Authors