Paper Info
Title
SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic.
Abstract
This document describes our freely distributed Maple library 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.
Year
DOI
Venue
2019
10.1080/10556788.2017.1341505
OPTIMIZATION METHODS & SOFTWARE
Keywords
DocType
Volume
computer algebra,symbolic computation,linear matrix inequalities,semidefinite programming,low rank matrices,real algebraic geometry
Journal
34
Issue
ISSN
Citations 
1
1055-6788
0
PageRank 
References 
Authors
0.34
4
3
Name
Order
Citations
PageRank
Didier Henrion198788.48
Simone Naldi2203.09
Mohab Safey El Din345035.64