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

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F19%3A00327601" target="_blank" >RIV/68407700:21230/19:00327601 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1080/10556788.2017.1341505" target="_blank" >https://doi.org/10.1080/10556788.2017.1341505</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1080/10556788.2017.1341505" target="_blank" >10.1080/10556788.2017.1341505</a>

Result language
angličtina
Original language name
SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10102 - Applied mathematics

Project
<a href="/en/project/GA16-19526S" target="_blank" >GA16-19526S: Semidefinite programming certification of control laws for emerging transportation projects</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)