Počet záznamů: 1
TopDeg
- 1.
SYSNO ASEP 0383483 Druh ASEP L4 - Software Zařazení RIV R - Software Název TopDeg Tvůrce(i) Franek, Peter (UIVT-O) RID
Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
Dzetkulič, Tomáš (UIVT-O)Rok vydání 2012 Int.kód TopDeg Lokalizace výsledku http://www.cs.cas.cz/~franek/topdeg/topdeg.html Technické parametry TopDeg byl naprogramován v jazyku Objective Caml. Jde o implementaci nového algoritmu na výpočet topologického stupně zobrazení, který jsme podrobně popsali v následujícím článku: Effective Topological Degree Computation Based on Interval Arithmetics, viz http://arxiv.org/abs/1207.6331 Ekonomické parametry V standardních matematických programech jsme nenašli žádnou implementaci výpočtu stupně zobrazení, přestože se jedná o známý invariant, o kterém se dlouho vědělo, že je algoritmizovatelný. Program samotný může být použit jako ingredient mnoha dalších matematických balíků stejně tak jako pro výukové účely. Aplikace stupně zobrazení se vyskytují například v analýze existence globálních řešení obyčejných diferenciálních rovnic, v studiu jejich stability a bifurkací, viz např. M. Fečkan:Topological Degree Approach to Bifurcation Problems apod. Název vlastníka Ústav informatiky AV ČR IČ vlastníka 67985807 Využ. jiným subjektem N - Využití výsledku jiným subjektem je možné bez nabytí licence Jazyk dok. eng - angličtina Země vlastníka CZ - Česká republika Klíč. slova Brouwer degree ; Interval arithmetics ; Computational topology Vědní obor RIV JC - Počítačový hardware a software CEP OC10048 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy Institucionální podpora UIVT-O - RVO:67985807 Anotace The program TopDeg calculates the Brouwer degree of a continuous map f from an n-dimensional hypercube B to R^n. The function f is defined by a formula containing common symbols such as multiplication, sin, exp etc and is assumed to be nonzero on the boundary of B. The result of the program is the integer deg(f,B,0). Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2013 Elektronická adresa http://www.cs.cas.cz/~franek/topdeg/topdeg.html
Počet záznamů: 1