Počet záznamů: 1
Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable
- 1.
SYSNO ASEP 0368130 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable Tvůrce(i) Franek, Peter (UIVT-O) RID
Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
Zgliczynski, P. (PL)Zdroj.dok. Mathematical Foundations of Computer Science 2011. - Berlin : Springer, 2011 / Murlak F. ; Sankowski P. - ISSN 0302-9743 - ISBN 978-3-642-22992-3 Rozsah stran s. 315-326 Poč.str. 12 s. Akce MFCS 2011. International Symposium /36./ Datum konání 22.08.2011-26.08.2011 Místo konání Warsaw Země PL - Polsko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova decidability ; logical theories ; real numbers Vědní obor RIV IN - Informatika CEP OC10048 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000310341100030 EID SCOPUS 80052134962 DOI 10.1007/978-3-642-22993-0_30 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2012
Počet záznamů: 1