Follow
David Stanovsky
Title
Cited by
Cited by
Year
Connected quandles and transitive groups
A Hulpke, D Stanovský, P Vojtěchovský
Journal of Pure and Applied Algebra 220 (2), 735-758, 2016
512016
The structure of medial quandles
P Jedlička, A Pilitowska, D Stanovský, A Zamojska-Dzienio
Journal of Algebra 443, 300-334, 2015
392015
A guide to self-distributive quasigroups, or latin quandles
D Stanovský
arXiv preprint arXiv:1505.06609, 2015
332015
Mal’tsev conditions, lack of absorption, and solvability
L Barto, M Kozik, D Stanovský
Algebra universalis 74 (1), 185-206, 2015
262015
Commutator theory for loops
D Stanovský, P Vojtěchovský
Journal of algebra 399, 290-322, 2014
262014
Automated proof compression by invention of new definitions
J Vyskočil, D Stanovský, J Urban
International Conference on Logic for Programming Artificial Intelligence …, 2010
212010
Commutator theory for racks and quandles
M Bonatto, D Stanovský
Journal of the Mathematical Society of Japan 73 (1), 41-75, 2021
202021
Automated theorem proving in quasigroup and loop theory
JD Phillips, D Stanovský
Ai Communications 23 (2-3), 267-283, 2010
182010
Left distributive left quasigroups
D Stanovský
PhD Thesis, Charles University in Prague, 2004. Available at http://www …, 2004
172004
On axioms of biquandles
D StanovskÝ
Journal of Knot Theory and Its Ramifications 15 (07), 931-933, 2006
162006
Complex algebras of subalgebras
K Adaricheva, A Pilitowska, D Stanovský
Algebra and logic 47 (6), 367-383, 2008
152008
Star-linear equational theories of groupoids
P api?, J Je? ek, P Markovi?, R McKenzie, D Stanovsk
Algebra universalis 56 (3-4), 357, 2007
152007
A combinatorial approach to knot recognition
A Fish, A Lisitsa, D Stanovský
Workshop on Embracing Global Computing in Emerging Economies, 64-78, 2015
142015
Počítačová algebra
D Stanovský, L Barto
Matfyzpress, 2011
142011
Polymorphisms of small digraphs
L Barto, D Stanovský
Novi Sad J. Math 40 (2), 95-109, 2010
132010
Differential modes
AV Kravchenko, A Pilitowska, AB Romanowska, D Stanovský
International Journal of Algebra and Computation 18 (03), 567-588, 2008
132008
Automated theorem proving in loop theory
JD Phillips, D Stanovský
Proceedings of the CICM Workshop on Empirically Successful Automated …, 2008
132008
Commutative idempotent residuated lattices
D Stanovský
Czechoslovak Mathematical Journal 57 (1), 191-200, 2007
132007
Subquandles of affine quandles
P Jedlička, A Pilitowska, D Stanovský, A Zamojska-Dzienio
Journal of Algebra 510, 259-288, 2018
122018
Central and medial quasigroups of small order
D Stanovský, P Vojtěchovský
arXiv preprint arXiv:1511.03534, 2015
122015
The system can't perform the operation now. Try again later.
Articles 1–20