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

Didier Henrion 1, 2 Simone Naldi 3 Mohab Safey El Din 4
1 LAAS-MAC - Équipe Méthodes et Algorithmes en Commande
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
4 PolSys - Polynomial Systems
LIP6 - Laboratoire d'Informatique de Paris 6, Inria de Paris
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.
Document type :
Journal articles
Optimization, Methods and Software, Taylor and Francis, 2017
Liste complète des métadonnées

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 : Thursday, January 11, 2018 - 6:28:03 AM
Document(s) archivé(s) le : Tuesday, March 21, 2017 - 5:21:32 AM

Files

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

Identifiers

  • HAL Id : hal-01393022, version 2
  • ARXIV : 1611.01947

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 and Francis, 2017. 〈hal-01393022v2〉

Share

Metrics

Record views

200

Files downloads

34