SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic. (2nd January 2019)
- Record Type:
- Journal Article
- Title:
- SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic. (2nd January 2019)
- Main Title:
- SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic
- Authors:
- Henrion, Didier
Naldi, Simone
Safey El Din, Mohab - Abstract:
- Abstract : This document describes our freely distributed Maple libraryspectra, 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.
- Is Part Of:
- Optimization methods and software. Volume 34:Number 1(2019)
- Journal:
- Optimization methods and software
- Issue:
- Volume 34:Number 1(2019)
- Issue Display:
- Volume 34, Issue 1 (2019)
- Year:
- 2019
- Volume:
- 34
- Issue:
- 1
- Issue Sort Value:
- 2019-0034-0001-0000
- Page Start:
- 62
- Page End:
- 78
- Publication Date:
- 2019-01-02
- Subjects:
- computer algebra -- symbolic computation -- linear matrix inequalities -- semidefinite programming -- low rank matrices -- real algebraic geometry
Mathematical optimization -- Periodicals
Algorithms -- Periodicals
519.7 - Journal URLs:
- http://www.tandfonline.com/toc/goms20/current ↗
http://www.tandfonline.com/ ↗ - DOI:
- 10.1080/10556788.2017.1341505 ↗
- Languages:
- English
- ISSNs:
- 1055-6788
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 6275.120000
British Library DSC - BLDSS-3PM
British Library HMNTS - ELD Digital store - Ingest File:
- 9353.xml