Systém RSOLVER

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

System RSOLVER

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

System RSOLVER

Popis výsledku anglicky

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.

Druh

X - Nezařazeno

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2006

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ů