Effective Topological Degree Computation Based on Interval Arithmetic
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F15%3A00431141" target="_blank" >RIV/67985807:_____/15:00431141 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/68407700:21240/15:00240385
Výsledek na webu
<a href="http://dx.doi.org/10.1090/S0025-5718-2014-02877-9" target="_blank" >http://dx.doi.org/10.1090/S0025-5718-2014-02877-9</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1090/S0025-5718-2014-02877-9" target="_blank" >10.1090/S0025-5718-2014-02877-9</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Effective Topological Degree Computation Based on Interval Arithmetic
Popis výsledku v původním jazyce
We describe a new algorithm for calculating the topological degree deg (f, B, 0) where B subseteq Rn is a product of closed real intervals and f : B to Rn is a real-valued continuous function given in the form of arithmetical expressions. The algorithmcleanly separates numerical from combinatorial computation. Based on this, the numerical part provably computes only the information that is strictly necessary for the following combinatorial part, and the combinatorial part may optimize its computationbased on the numerical information computed before. We also present computational experiments based on an implementation of the algorithm. Also, in contrast to previous work, the algorithm does not assume knowledge of a Lipschitz constant of the function f, and works for arbitrary continuous functions for which some notion of interval arithmetic can be defined.
Název v anglickém jazyce
Effective Topological Degree Computation Based on Interval Arithmetic
Popis výsledku anglicky
We describe a new algorithm for calculating the topological degree deg (f, B, 0) where B subseteq Rn is a product of closed real intervals and f : B to Rn is a real-valued continuous function given in the form of arithmetical expressions. The algorithmcleanly separates numerical from combinatorial computation. Based on this, the numerical part provably computes only the information that is strictly necessary for the following combinatorial part, and the combinatorial part may optimize its computationbased on the numerical information computed before. We also present computational experiments based on an implementation of the algorithm. Also, in contrast to previous work, the algorithm does not assume knowledge of a Lipschitz constant of the function f, and works for arbitrary continuous functions for which some notion of interval arithmetic can be defined.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GCP202%2F12%2FJ060" target="_blank" >GCP202/12/J060: Integrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2015
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
Mathematics of Computation
ISSN
0025-5718
e-ISSN
—
Svazek periodika
84
Číslo periodika v rámci svazku
293
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
26
Strana od-do
1265-1290
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—