SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes
Pré-Publication, Document De Travail Année : 2016

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

Didier Henrion
Équipe Méthodes et Algorithmes en Commande
Czech Technical University in Prague
Simone Naldi
Technische Universität Dortmund [Dortmund]
Mohab Safey El Din
Laboratoire d'Informatique de Paris 6

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.

Domaines

Optimisation et contrôle [math.OC] Calcul formel [cs.SC] Géométrie algébrique [math.AG]
Fichier principal
Vignette du fichier
spectra.pdf (104.66 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Didier Henrion  : Connectez-vous pour contacter le contributeur

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

Soumis le : samedi 5 novembre 2016-19:56:37

Dernière modification le : lundi 20 novembre 2023-11:44:22

Archivage à long terme le : lundi 6 février 2017-13:11:38

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
479 Consultations
117 Téléchargements

Altmetric

Partager

More