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.
Type de document :
Article dans une revue
Optimization Methods and Software, Taylor & Francis, 2017
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.laas.fr/hal-01393022
Contributeur : Didier Henrion <>
Soumis le : mercredi 7 décembre 2016 - 22:00:25
Dernière modification le : samedi 8 décembre 2018 - 01:27:23
Document(s) archivé(s) le : mardi 21 mars 2017 - 05:21:32

Fichiers

spectra-more.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Partager

Métriques

Consultations de la notice

373

Téléchargements de fichiers

67