  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.
