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…