David Stanovsky
David Stanovsky
Email verificata su karlin.mff.cuni.cz
TitoloCitata daAnno
Connected quandles and transitive groups
A Hulpke, D Stanovský, P Vojtěchovský
Journal of Pure and Applied Algebra 220 (2), 735-758, 2016
412016
The structure of medial quandles
P Jedlička, A Pilitowska, D Stanovský, A Zamojska-Dzienio
Journal of Algebra 443, 300-334, 2015
292015
Mal’tsev conditions, lack of absorption, and solvability
L Barto, M Kozik, D Stanovský
Algebra universalis 74 (1-2), 185-206, 2015
232015
A guide to self-distributive quasigroups, or latin quandles
D Stanovský
arXiv preprint arXiv:1505.06609, 2015
232015
Automated proof compression by invention of new definitions
J Vyskočil, D Stanovský, J Urban
International Conference on Logic for Programming Artificial Intelligence …, 2010
182010
Left distributive left quasigroups
D Stanovský
PhD Thesis, Charles University in Prague, 2004
182004
On axioms of biquandles
D StanovskÝ
Journal of Knot Theory and Its Ramifications 15 (07), 931-933, 2006
172006
Commutator theory for loops
D Stanovský, P Vojtěchovský
Journal of Algebra 399, 290-322, 2014
152014
Complex algebras of subalgebras
K Adaricheva, A Pilitowska, D Stanovský
Algebra and logic 47 (6), 367, 2008
152008
Počítačová algebra
D Stanovský, L Barto
Matfyzpress, 2011
142011
Automated theorem proving in quasigroup and loop theory
JD Phillips, D Stanovský
Ai Communications 23 (2-3), 267-283, 2010
142010
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 Stanovsky
Proceedings of the CICM Workshop on Empirically Successful Automated …, 2008
132008
A combinatorial approach to knot recognition
A Fish, A Lisitsa, D Stanovský
Workshop on Embracing Global Computing in Emerging Economies, 64-78, 2015
122015
Idempotent subreducts of semimodules over commutative semirings
D Stanovsky
Rendiconti del Seminario Matematico della Universitŕ di Padova 121, 33-43, 2009
122009
Polymorphisms of small digraphs
L Barto, D Stanovský
Novi Sad J. Math 40 (2), 95-109, 2010
112010
Left symmetric left distributive operations on a group
D Stanovský
algebra universalis 54 (1), 97-103, 2005
102005
Distributive groupoids are symmetric-by-medial: An elementary proof
D Stanovský
Comment. Math. Univ. Carolin 49 (4), 541-546, 2008
92008
Star-linear equational theories of groupoids
P api?, J Je? ek, P Markovi?, R McKenzie, D Stanovsk
Algebra universalis 56 (3-4), 357, 2007
92007
Commutative idempotent residuated lattices
D Stanovský
Czechoslovak Mathematical Journal 57 (1), 191-200, 2007
92007
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20