David Stanovský
Charles University in Prague
42 Papers
323 Citations
David Stanovský is an academic researcher from Charles University in Prague. The author has contributed to research in topics: Group (mathematics) & Abelian group. The author has an hindex of 12, co-authored 42 publications. Previous affiliations of David Stanovský include University of Denver & IT University.
Chat about Author
Papers
•Posted Content
Connected quandles and transitive groups
TL;DR: In this paper, a canonical correspondence between connected quandles and certain configurations in transitive groups, called quandle envelopes, is established, which allows us to efficiently enumerate connected Quandles of small orders.
54
•Posted Content
A guide to self-distributive quasigroups, or latin quandles
TL;DR: A general overview of the theory of self-distributive quasigroups, both in the two-sided and one-sided cases, can be found in this paper.
46
•Posted Content
The structure of medial quandles
TL;DR: In this paper, the authors represent medial quandles using a heterogeneous affine structure and obtain numerous structural properties, including enumeration of isomorphism classes of medial Quandles up to 13 elements.
25
Mal’tsev conditions, lack of absorption, and solvability
TL;DR: In this paper, the authors provide a new characterization of several Mal-tsev conditions for locally finite varieties using hereditary term properties, and point out a connection between solvability and the lack of absorption.
Automated proof compression by invention of new definitions
Jiří Vyskočil,David Stanovský,Josef Urban +2 more
- 25 Apr 2010
TL;DR: A new algorithm for automated compression of arbitrary sets of terms (like mathematical proofs) by invention of new definitions, using a heuristics based on substitution trees is proposed.