0383483 - ÚI 2013 RIV CZ eng L4 - Software
Franek, Peter - Ratschan, Stefan - Dzetkulič, TomášTopDeg.
Internal code: TopDeg ; 2012
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.
R&D Projects: GA MŠMT OC10048
Institutional support: RVO:67985807
Keywords : Brouwer degree * Interval arithmetics * Computational topology
Subject RIV: JC - Computer Hardware ; Software
http://www.cs.cas.cz/~franek/topdeg/topdeg.html
Permanent Link: http://hdl.handle.net/11104/0213406