7 citations · 26 across the 13 of their papers we have counts for
Showing 2016 · math.OCShow all
2 papers · 2 filters
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…