Detail aplikovaného výsledku

Dual Poset Explorer

KOVÁR, M.; CHERNIKAVA, A.

Originální název

Dual Poset Explorer

Anglický název

Dual Poset Explorer

Druh

Software

Abstrakt

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.

Abstrakt aglicky

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.

Klíčová slova

de Groot dual, dual poset, preframe morphism

Klíčová slova anglicky

de Groot dual, dual poset, preframe morphism

Umístění

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

Možnosti využití

výsledek využívá pouze poskytovatel

Licenční poplatek

K využití výsledku jiným subjektem je vždy nutné nabytí licence

www

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