Skip to Main content Skip to Navigation
Journal articles

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

https://hal.laas.fr/hal-01393022
Contributor : Didier Henrion <>
Submitted on : Monday, February 10, 2020 - 6:49:23 PM
Last modification on : Friday, February 14, 2020 - 10:48:34 AM
Long-term archiving on: : Monday, May 11, 2020 - 4:30:47 PM

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-01393022v3⟩

Share

Metrics

Record views

137

Files downloads

214