Detail výsledku
Compactificability Simulator
Vznik: 2012
Typ
software
Jazyk
anglicky
Autoři
Kovár Martin, doc. RNDr., Ph.D., UMAT (FEKT)
Chernikava Alena, Mgr., Ph.D.
Chernikava Alena, Mgr., Ph.D.
Popis
Compactificability Simulator simulates the topological properties of a space, defined by J. Thomas already in 1969. The space, which is, of course, infinite, is simulated by a sequence of finite approximations, parametrized by two parametres, available for the user's input. The generated iterations topologically represent the studied space as their inverse limit.
Klíčová slova
Mutual compactificability, compact space, theta-regular space, Tychonoff space, discrete space.
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)