7 citations · 26 across the 13 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.OC2016★ 4 cited
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…
math.OC2016★ 2 cited
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…
eess.SY2016
Solving rank-constrained semidefinite programs in exact arithmetic
Simone Naldi
We consider the problem of minimizing a linear function over an affine section of the cone of positive semidefinite matrices, with the additional constraint that the feasible matri…