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

Didier Henrion; Simone Naldi; Mohab Safey El Din

doi:10.1080/10556788.2017.1341505

Article Dans Une Revue Optimization Methods and Software Année : 2019

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

(1, 2) , (3) , (4)

1
2
3
4

Didier Henrion

Fonction : Auteur
PersonId : 13946
IdHAL : didier-henrion
ORCID : 0000-0001-6735-7715
IdRef : 091947103

Équipe Méthodes et Algorithmes en Commande

Czech Technical University in Prague

Simone Naldi

Fonction : Auteur
PersonId : 9633
IdHAL : simone-naldi
ORCID : 0000-0002-4556-6935
IdRef : 189007184

Technische Universität Dortmund [Dortmund]

Mohab Safey El Din

Fonction : Auteur
PersonId : 731
IdHAL : safey
ORCID : 0000-0001-9463-1257
IdRef : 180664549

Polynomial Systems

Résumé

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.

Mots clés

Linear matrix inequalities Symbolic computation Polynomial sums of squares Semidefinite programming Low rank matrices Real algebraic geometry Computer algebra

Domaines

Optimisation et contrôle [math.OC] Calcul formel [cs.SC] Géométrie algébrique [math.AG]

Fichier principal

spectra-more.pdf (299.04 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Didier Henrion : Connectez-vous pour contacter le contributeur

https://laas.hal.science/hal-01393022

Soumis le : lundi 10 février 2020-18:49:23

Dernière modification le : mercredi 30 octobre 2024-13:33:07

Archivage à long terme le : lundi 11 mai 2020-16:30:47

Dates et versions

hal-01393022 , version 1 (05-11-2016)

hal-01393022 , version 2 (07-12-2016)

hal-01393022 , version 3 (10-02-2020)

Identifiants

HAL Id : hal-01393022 , version 3
ARXIV : 1611.01947
DOI : 10.1080/10556788.2017.1341505

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INRIA INSA-TOULOUSE LAAS LAAS-MAC LIP6 UT1-CAPITOLE LAAS-DECISION-ET-OPTIMISATION INRIA2 TDS-MACS INSA-GROUPE SORBONNE-UNIVERSITE SU-SCIENCES TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

479 Consultations

117 Téléchargements