SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic - Université Toulouse 1 Capitole Accéder directement au contenu
Article Dans Une Revue Optimization Methods and Software Année : 2019

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

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.
Fichier principal
Vignette du fichier
spectra-more.pdf (299.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

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

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⟩
362 Consultations
54 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More