Optimization Online


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

Didier Henrion(henrion***at***laas.fr)
Simone Naldi(simone.naldi***at***tu-dortmund.de )
Mohab Safey El Din(mohab.safey***at***lip6.fr)

Abstract: This document briefly describes our freely distributed Maple library {\sc 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.

Keywords: Computer algebra, linear matrix inequalities, semidefinite programming, low rank matrices, polynomial sums of squares

Category 1: Linear, Cone and Semidefinite Programming (Semi-definite Programming )


Download: [PDF]

Entry Submitted: 11/05/2016
Entry Accepted: 11/05/2016
Entry Last Modified: 11/05/2016

Modify/Update this entry

  Visitors Authors More about us Links
  Subscribe, Unsubscribe
Digest Archive
Search, Browse the Repository


Coordinator's Board
Classification Scheme
Give us feedback
Optimization Journals, Sites, Societies
Mathematical Optimization Society