Exact algorithms for linear matrix inequalities - Didier Henrion; Simone Naldi; Mohab Safey El Din (2015)