SPECTRA -- a Maple library for solving linear matrix inequalities in
exact arithmetic
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.