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

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.
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.laas.fr/hal-01393022
Contributor : Didier Henrion <>
Submitted on : Wednesday, December 7, 2016 - 10:00:25 PM
Last modification on : Friday, October 11, 2019 - 8:23:16 PM
Long-term archiving on : Tuesday, March 21, 2017 - 5:21:32 AM

Files

spectra-more.pdf
Files produced by the author(s)

Identifiers

Citation

Didier Henrion, Simone Naldi, Mohab Safey El Din. SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic. Optimization Methods and Software, Taylor & Francis, 2019, 34 (1), pp.62-78. ⟨10.1080/10556788.2017.1341505⟩. ⟨hal-01393022v2⟩

Share

Metrics

Record views

444

Files downloads

161