SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic
Popis výsledku anglicky
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.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10102 - Applied mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GA16-19526S" target="_blank" >GA16-19526S: Certifikace zákonů řízení pro budoucí dopravní systémy pomocí semidefinitního programování</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2019
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Optimization Methods and Software
ISSN
1055-6788
e-ISSN
1029-4937
Svazek periodika
34
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
17
Strana od-do
62-78
Kód UT WoS článku
000454526400004
EID výsledku v databázi Scopus
2-s2.0-85021673196