Applied result detail

Dual Poset Explorer

KOVÁR, M.; CHERNIKAVA, A.

Original Title

Dual Poset Explorer

English Title

Dual Poset Explorer

Type

Software

Abstract

Dual Poset Explorer generates the first three iterated duals of the given poset and displays their Hasse diagrams together with the diagram of the original poset.

Abstract in English

Dual Poset Explorer generates the first three iterated duals of the given poset and displays their Hasse diagrams together with the diagram of the original poset.

Keywords

de Groot dual, dual poset, preframe morphism

Key words in English

de Groot dual, dual poset, preframe morphism

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/DualPosets.jsp