SPECTRA -- a Maple library for solving linear matrix inequalities in   exact arithmetic
  This document describes our freely distributed Maple library {\sc spectra}, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear matrix inequalities with symbolic computation in exact arithmetic and it is targeted to small-size, possibly degenerate problems for which symbolic infeasibility or feasibility certificates are required. 
Mohab Safey El Din (PolSys), Didier Henrion (LAAS-MAC, CTU), Simone   Naldi (TU), Mohab Safey, El Din
math.OC cs.SC math.AG