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.
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ě
Nahoru