SPECTRA -- a Maple library for solving linear matrix inequalities in exact arithmetic
Optimization and Control
2020-02-12 v3 Symbolic Computation
Algebraic Geometry
Abstract
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.
Keywords
Cite
@article{arxiv.1611.01947,
title = {SPECTRA -- a Maple library for solving linear matrix inequalities in exact arithmetic},
author = {Mohab Safey El Din and Didier Henrion and Simone Naldi and Mohab Safey and El Din},
journal= {arXiv preprint arXiv:1611.01947},
year = {2020}
}
Comments
Significantly extended version