About
This server hosts experimental and research-oriented web applications developed by Václav Kratochvíl. The tools presented here are primarily related to discrete mathematics, game theory, ordered structures, and uncertainty modelling, and they often accompany published research or ongoing methodological work.
A detailed academic profile, including publications, research interests, and professional activities, is available on the official website of the Institute of Information Theory and Automation (UTIA):
https://mtr.utia.cas.cz/en/people/kratochvil
Software and Online Tools
The following applications provide interactive support for selected theoretical concepts or computational methods. Some of them are Shiny-based web tools, others serve as online companions to published articles.
-
Posets and preposets – representations (2026)
Interactive exploration of different combinatorial representations of posets and preposets and their mutual transformations. - Supplementary Material: Influence Diagrams for Speed Profile Optimization (2024)
- Abui Verbs Clustering (2022)
- Loan words (2022)
-
MUDIM-online (2020)
Online support for probabilistic compositional models (joint work with R. Jiroušek).
Extreme Games and Min-balanced Systems
The following tools and catalogues are related to extremal properties of cooperative games and to the theory of min-balanced and min-semi-balanced set systems. All of them are based on joint work with Milan Studený.