System RSOLVER
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F06%3A00042500" target="_blank" >RIV/67985807:_____/06:00042500 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
System RSOLVER
Original language description
RSolver is a program for solving quantified inequality constraints. Problems like projecting the solution set of a set of inequality constraints to two dimensions, or parametric robust stability of linear differential equations can be directly formulatedas such constraints.
Czech name
Systém RSOLVER
Czech description
RSolver je program který řeší nelineární nerovnosti s kvantifikátory. Problémy jako projektování množiny řešení nerovnostních omezeni do dvou dimensi nebo parametrická robustní stabilita lineárních diferenciálních rovnic lze přímo formulovat jako takováomezeni.
Classification
Type
X - Unclassified
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů