mlsanityData to 14 Oct 2026

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

arXiv 1611.01947 ↗First posted 7 Nov 2016math.OC cs.SC math.AGcited by 1

Not on the map. Why?

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.

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

Builds on

No reference list yet.

Built on by

Cited by year

Citing papers per year: 2023: 1.

1 paper.

  1. 2023Provably Faster Gradient Descent via Long Stepscited by 20