7 citations · 26 across the 13 of their papers we have counts for
4 papers · 1 filter
Conic programming: infeasibility certificates and projective geometry
Simone Naldi, Rainer Sinn
We revisit facial reduction from the point of view of projective geometry. This leads us to a homogenization strategy in conic programming that eliminates the phenomenon of weak in…
Symbolic computation in hyperbolic programming
Simone Naldi, Daniel Plaumann
Hyperbolic programming is the problem of computing the infimum of a linear function when restricted to the hyperbolicity cone of a hyperbolic polynomial, a generalization of semide…
SPECTRA -- a Maple library for solving linear matrix inequalities in exact arithmetic
Mohab Safey El Din, Didier Henrion, Simone Naldi +2
This document describes our freely distributed Maple library {\sc spectra}, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear m…
Exact algorithms for linear matrix inequalities
Didier Henrion, Simone Naldi, Mohab Safey El Din
Let be a linear matrix, or pencil, generated by given symmetric matrices of size with rational entries. The set of real v…