Applied result detail

Topological Models

KOVÁR, M.; CHERNIKAVA, A.

Original Title

Topological Models

English Title

Topological Models

Type

Software

Abstract

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.

Abstract in English

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.

Keywords

Framework, topological space, framework topological model.

Key words in English

Framework, topological space, framework topological model.

Location

Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno

Possibilities of use

only the provider uses the result

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

http://matika.umat.feec.vutbr.cz/software/webmath/TopologicalModels.jsp