David Stanovsky
David Stanovsky
Verifierad e-postadress på karlin.mff.cuni.cz
Titel
Citeras av
Citeras av
År
Connected quandles and transitive groups
A Hulpke, D Stanovskũ, P Vojtěchovskũ
Journal of Pure and Applied Algebra 220 (2), 735-758, 2016
492016
The structure of medial quandles
P Jedlička, A Pilitowska, D Stanovskũ, A Zamojska-Dzienio
Journal of Algebra 443, 300-334, 2015
362015
A guide to self-distributive quasigroups, or latin quandles
D Stanovskũ
arXiv preprint arXiv:1505.06609, 2015
302015
Commutator theory for loops
D Stanovskũ, P Vojtěchovskũ
Journal of Algebra 399, 290-322, 2014
262014
Mal’tsev conditions, lack of absorption, and solvability
L Barto, M Kozik, D Stanovskũ
Algebra universalis 74 (1), 185-206, 2015
252015
Automated proof compression by invention of new definitions
J Vyskočil, D Stanovskũ, J Urban
International Conference on Logic for Programming Artificial Intelligence …, 2010
202010
Commutator theory for racks and quandles
M Bonatto, D Stanovskũ
Journal of the Mathematical Society of Japan 73 (1), 41-75, 2021
182021
Left distributive left quasigroups
D Stanovskũ
PhD Thesis, Charles University in Prague, 2004
182004
Automated theorem proving in quasigroup and loop theory
JD Phillips, D Stanovskũ
Ai Communications 23 (2-3), 267-283, 2010
172010
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
Počítačová algebra
D Stanovskũ, L Barto
Matfyzpress, 2011
142011
Star-linear equational theories of groupoids
P api?, J Je? ek, P Markovi?, R McKenzie, D Stanovsk
Algebra universalis 56 (3-4), 357, 2007
142007
Commutative idempotent residuated lattices
D Stanovskũ
Czechoslovak Mathematical Journal 57 (1), 191-200, 2007
142007
A combinatorial approach to knot recognition
A Fish, A Lisitsa, D Stanovskũ
Workshop on Embracing Global Computing in Emerging Economies, 64-78, 2015
132015
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
Polymorphisms of small digraphs
L Barto, D Stanovskũ
Novi Sad J. Math 40 (2), 95-109, 2010
122010
Idempotent subreducts of semimodules over commutative semirings
D Stanovsky
Rendiconti del Seminario Matematico della Universitā di Padova 121, 33-43, 2009
122009
Subquandles of affine quandles
P Jedlička, A Pilitowska, D Stanovskũ, A Zamojska-Dzienio
Journal of Algebra 510, 259-288, 2018
112018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20