Solving generic parametric linear matrix inequalities

Simone Naldi, Mohab Safey El Din, Adrien Taylor, Weijia Wang. Solving generic parametric linear matrix inequalities. In Carlos D'Andrea, Sonia Pérez-Díaz, Santiago Laplagne, editors, Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, ISSAC 2025, Guanajuato, Mexico, 28 July 2025 - 1 August 2025. pages 267-276, ACM, 2025. [doi]

Abstract

Abstract is missing.