Detail výsledku
Topological Models
Vznik: 2013
Typ
software
Jazyk
angličtina
Autoři
Kovár Martin, doc. RNDr., Ph.D., UMAT (FEKT)
Chernikava Alena, Mgr., Ph.D., FIT (FIT), UMAT (FEKT)
Chernikava Alena, Mgr., Ph.D., FIT (FIT), UMAT (FEKT)
Popis
Application Topological Models checks if the original framework is correctly defined by the input and then it generates the set of all open and closed models of the framework with respect to a given topological space.
Klíčová slova
Framework, topological space, framework topological model.
URL
Umístění
Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno
Licence
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
Pracoviště
Ústav matematiky
(UMAT)