SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic, This document briefly describes our freely distributed Maple library spectra, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear matrix inequalities in exact arithmetic and it is targeted to small-size, possibly degenerate problems for which symbolic infeasibility or feasibility certificates are required.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element