Number of the records: 1
TopDeg
- 1.
SYSNO ASEP 0383483 Document Type L4 - Software R&D Document Type Software Title TopDeg Author(s) Franek, Peter (UIVT-O) RID
Ratschan, Stefan (UIVT-O) SAI, RID, ORCID
Dzetkulič, Tomáš (UIVT-O)Year of issue 2012 Int.Code TopDeg SResult web page, Location of the result http://www.cs.cas.cz/~franek/topdeg/topdeg.html Technical parameters 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 Economic parameters 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. Owner Name Ústav informatiky AV ČR Registration Number of the result owner 67985807 Use by another entity N - Využití výsledku jiným subjektem je možné bez nabytí licence Language eng - English Country CZ - Czech Republic Keywords Brouwer degree ; Interval arithmetics ; Computational topology Subject RIV JC - Computer Hardware ; Software R&D Projects OC10048 GA MŠMT - Ministry of Education, Youth and Sports (MEYS) Institutional support UIVT-O - RVO:67985807 Annotation 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). Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2013 Electronic address http://www.cs.cas.cz/~franek/topdeg/topdeg.html
Number of the records: 1