SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2016

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

Résumé

This document briefly describes our freely distributed Maple library spectra, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear matrix inequalities 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.pdf (104.66 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. 2016. ⟨hal-01393022v1⟩
366 Consultations
57 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More