# SPECTRA -- a Maple library for solving linear matrix inequalities in exact arithmetic

arXiv: https://arxiv.org/abs/1611.01947 · HTML: https://mlsanity.com/paper/1611.01947/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 7 Nov 2016.

## Built on by (most cited first, 1 of 1)

- [Provably Faster Gradient Descent via Long Steps](https://mlsanity.com/paper/2307.06324/) (2023)

## Abstract (arXiv)

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.