Přístupnostní navigace
E-application
Search Search Close
Product detail
KOVÁR, M. KŘEHLÍK, Š. KLIMEŠOVÁ, M.
Product type
software
Abstract
The concept of a framework is derived from a slightly more general notion, formal context, which was introduced by B. Ganter and R. Wille at the end of the 70's as one of the key notions in Formal Concept Analysis. It is used in theoretical computer scince especially in connection with data representation and organization. Framework is an algebraic structure whose purpose is capturing the topological or topology-like structure of a system from its externally observed properties. Formally, framework is a special formal context whose incidence relation is the membership relation. The framework structure may be used, for example, for investigation of topological properties of certain causal structures, motivated by quantum gravity, interactions of particles, Feynman diagrams, information systems and databases as well as for classification of other mathematical objects, like dynamical systems. Application Object Frameworks checks if the formal context is correctly given by the input and then it calculates the framework associated with the formal context on the set of its objects.
Keywords
Formal context, objects, framework, framology
Create date
25. 11. 2014
Location
Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno
Possibilities of use
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licence fee
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www
http://matika.umat.feec.vutbr.cz/software/webmath/ObjectFrameworks.jsp