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
632016
The structure of medial quandles
P Jedlička, A Pilitowska, D Stanovský, A Zamojska-Dzienio
Journal of Algebra 443, 300-334, 2015
502015
Commutator theory for loops
D Stanovský, P Vojtěchovský
Journal of algebra 399, 290-322, 2014
412014
A guide to self-distributive quasigroups, or latin quandles
D Stanovsky
Quasigroups and Related Systems 23 (1), 91-128, 2015
372015
Mal’tsev conditions, lack of absorption, and solvability
L Barto, M Kozik, D Stanovský
Algebra universalis 74 (1), 185-206, 2015
282015
Commutator theory for racks and quandles
M Bonatto, D Stanovský
Journal of the Mathematical Society of Japan 73 (1), 41-75, 2021
262021
Automated proof compression by invention of new definitions
J Vyskočil, D Stanovský, J Urban
Logic for Programming, Artificial Intelligence, and Reasoning: 16th …, 2010
242010
Automated theorem proving in quasigroup and loop theory
JD Phillips, D Stanovský
Ai Communications 23 (2-3), 267-283, 2010
222010
Commutative idempotent residuated lattices
D Stanovský
Czechoslovak Mathematical Journal 57 (1), 191-200, 2007
212007
Left distributive left quasigroups
D Stanovský
PhD Thesis, Charles University in Prague, 2004
212004
Abelian extensions and solvable loops
D Stanovský, P Vojtěchovský
Results in Mathematics 66 (3), 367-384, 2014
182014
Počítačová algebra
D Stanovský, L Barto
Matfyzpress, 2011
182011
On axioms of biquandles
D StanovskÝ
Journal of Knot Theory and Its Ramifications 15 (07), 931-933, 2006
182006
Central and medial quasigroups of small order
D Stanovsky, P Vojtĕchovský
Buletinul Academiei de Ştiinţe a Moldovei. Matematica 80 (1), 24-40, 2016
162016
A combinatorial approach to knot recognition
A Fish, A Lisitsa, D Stanovský
Embracing Global Computing in Emerging Economies: First Workshop, EGC 2015 …, 2015
152015
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
Subquandles of affine quandles
P Jedlička, A Pilitowska, D Stanovský, A Zamojska-Dzienio
Journal of Algebra 510, 259-288, 2018
142018
Polymorphisms of small digraphs
L Barto, D Stanovský
Novi Sad J. Math 40 (2), 95-109, 2010
142010
Automated theorem proving in loop theory
JD Phillips, D Stanovský
Proceedings of the CICM Workshop on Empirically Successful Automated …, 2008
142008
The system can't perform the operation now. Try again later.
Articles 1–20