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.

中文翻译：

---

SPECTRA -- 一个 Maple 库，用于在精确算术中解决线性矩阵不等式

本文档描述了我们免费分发的 Maple 库 {\sc 谱}，用于完全使用实代数计算工具解决的半定规划。它通过精确算术中的符号计算来解决线性矩阵不等式，它的目标是解决需要符号不可行性或可行性证明的小规模、可能退化的问题。