SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes
Journal Articles Optimization Methods and Software Year : 2019

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.
Fichier principal
Vignette du fichier
spectra-more.pdf (299.04 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01393022 , version 1 (05-11-2016)
hal-01393022 , version 2 (07-12-2016)
hal-01393022 , version 3 (10-02-2020)

Identifiers

Cite

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

Altmetric

Share

More