Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F11%3A00368130" target="_blank" >RIV/67985807:_____/11:00368130 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-642-22993-0_30" target="_blank" >http://dx.doi.org/10.1007/978-3-642-22993-0_30</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-642-22993-0_30" target="_blank" >10.1007/978-3-642-22993-0_30</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable

Popis výsledku v původním jazyce

In this paper we consider the problem of checking whether a system of equations of real analytic functions is satisfiable, that is, whether it has a solution. We prove that there is an algorithm (possibly non-terminating) for this problem such that (1) whenever it terminates, it computes a correct answer, and (2) it always terminates when the input is robust. A system of equations of robust, if its satisfiability does not change under small perturbations. As a basic tool for our algorithm we use the notion of degree from the field of (differential) topology.

Název v anglickém jazyce

Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable

Popis výsledku anglicky

In this paper we consider the problem of checking whether a system of equations of real analytic functions is satisfiable, that is, whether it has a solution. We prove that there is an algorithm (possibly non-terminating) for this problem such that (1) whenever it terminates, it computes a correct answer, and (2) it always terminates when the input is robust. A system of equations of robust, if its satisfiability does not change under small perturbations. As a basic tool for our algorithm we use the notion of degree from the field of (differential) topology.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/OC10048" target="_blank" >OC10048: Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů.</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2011

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ů

Název statě ve sborníku

Mathematical Foundations of Computer Science 2011

ISBN

978-3-642-22992-3

ISSN

—

e-ISSN

—

Počet stran výsledku

12

Strana od-do

315-326

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Warsaw

Datum konání akce

22. 8. 2011

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—