David Stanovský

LIST OF PUBLICATIONS

JOURNAL PAPERS

1. Alberto Facchini, David Stanovský, Semidirect products in Universal Algebra, to appear in Contemp. Math., [arXiv]
2. David Stanovský, Petr Vojtěchovský, Supernilpotent groups and 3-supernilpotent loops, to appear in J. Algebra and its Applications. [arXiv] [DOI]
3. Marco Bonatto, David Stanovský, A universal algebraic approach to rack coverings, to appear in J. Knot Theory Ramifications. [arXiv]
4. Žaneta Semanišinová, David Stanovský, Three Concepts of Nilpotence in Loops, Results in Math. 78/4 (2023), Paper No. 119, 15 p. [arXiv] [DOI]
5. Přemysl Jedlička, David Stanovský, Homomorphic images of affine quandles, Algebra Universalis 82 (2021), 11 pp. [arXiv] [DOI]
6. David Stanovský, Petr Vojtěchovský, Idempotent solutions of the Yang-Baxter equation and twisted Ward quasigroups, Fundamenta Math. 255/1 (2021), 51--68. [arXiv] [DOI]
7. Marco Bonatto, David Stanovský, Commutator theory for racks and quandles, J. Math. Soc. Japan 73/1 (2021), 41--75. [arXiv] [DOI]
8. Marco Bonatto, Michael Kinyon, David Stanovský, Petr Vojtěchovský, Involutive latin solutions of the Yang-Baxter equation, J. Algebra 565/1 (2021), 128--159. [arXiv] [DOI]
9. Přemysl Jedlička, Agata Pilitowska, David Stanovský, Anna Zamojska-Dzienio, Subquandles of affine quandles, J. Algebra 510 (2018), 259--288. [arXiv] [DOI]
10. David Stanovský, Linear representation of Abel-Grassmann groups, Carpathian J. Math. 33/2 (2017), 257--263. [arXiv] [journal]
11. Přemysl Jedlička, David Stanovský, Petr Vojtěchovský, Trimedial and distributive quasigroups of order 243, Discrete Math. 340/3 (2017), 404--415. [arXiv] [DOI]
12. David Stanovský, Medial quasigroups of prime square order, Comment. Math. Univ. Carolinae. 57/4 (2016), 585--590. [arXiv] [journal]
13. David Stanovský, Petr Vojtěchovský, Central and medial quasigroups of small order, Buletinul Academiei de Ştiinţe a Republicii Moldova, Matematica, 80/1 (2016), 24--40. [arXiv] [journal]
14. Diane Donovan, Terry Griggs, Thomas McCourt, Jakub Opršal, David Stanovský, Distributive and anti-distributive Mendelsohn triple systems, Canadian Math. Bull. 59 (2016), 36--49. [DOI] [arXiv] [calculations]
15. Alexander Hulpke, David Stanovský, Petr Vojtěchovský, Connected quandles and transitive groups, J. Pure Appl. Algebra 220/2 (2016) 735--758. [DOI] [arXiv] [calculations]
16. Přemysl Jedlička, Agata Pilitowska, David Stanovský, Anna Zamojska-Dzienio, The structure of medial quandles, J. Algebra 443 (2015), 300--334. [DOI] [arXiv] [calculations]
17. David Stanovský, A guide to self-distributive quasigroups, or latin quandles, Quasigroups and Related Systems 23/1 (2015), 91--128. [journal] [arXiv]
18. Libor Barto, Marcin Kozik, David Stanovský, Mal'tsev conditions, lack of absorption, and solvability, Algebra Universalis 74/1-2 (2015), 185--206. [DOI] [PDF file]
19. David Stanovský, Petr Vojtěchovský, Abelian extensions and solvable loops, Results in Math. 66/3-4 (2014), 367--384. [DOI] [arXiv]
20. David Stanovský, Petr Vojtěchovský, Commutator theory for loops, J. Algebra 399 (2014), 290--322. [DOI] [arXiv]
21. David Stanovský, Abelian differential modes are quasi-affine, Coment. Math. Univ. Carolinae 53/3 (2012), 461--473. [PDF file] [journal]
22. JD Phillips, David Stanovský, Bruck loops with abelian inner mapping groups, Commun. Algebra 40/7 (2012), 2449--2454. [DOI] [PDF file] [electronic files]
23. David Stanovský, Subdirectly irreducible differential modes, Internat. J. Algebra Comput. 22/4 (2012), 1250028 (18p.). [DOI] [PDF file]
24. David Stanovský, Selfdistributive groupoids. A2. Non-idempotent left distributive left quasigroups, Acta Univ. Carolinae Math. Phys. 52/2 (2011), 7--28. [PDF file]
25. Libor Barto, David Stanovský, Polymorphisms of small digraphs, Novi Sad J. Math. 40/2 (2010), 95--109. [PDF file] [electronic files] [journal]
26. Michał Stronkowski, David Stanovský, Embedding general algebras into modules, Proc. Amer. Math. Soc. 138/8 (2010), 2687--2699. [PDF file] [DOI]
27. JD Phillips, David Stanovský, Automated theorem proving in quasigroup and loop theory, Artificial Intelligence Communications 23/2-3 (2010), 267--283. [PDF file] [DOI]
28. David Stanovský, Idempotent subreducts of semimodules over commutative semirings, Rend. Semin. Mat. Univ. Padova 121 (2009), 33--43. [PDF file] [journal]
29. Agata Pilitowska, Anna Romanowska, David Stanovský, Varieties of differential modes embeddable into semimodules, Internat. J. Algebra Comput. 19/5 (2009), 669--680. [DOI] [PDF file]
30. Alexandr Kravchenko, Agata Pilitowska, Anna Romanowska, David Stanovský, Differential modes, Internat. J. Algebra Comput. 18/3 (2008), 567--588. [PDF file] [DOI]
31. David Stanovský, Distributive groupoids are symmetric-by-medial: An elementary proof, Comment. Math. Univ. Carolinae 49/4 (2008), 541--546. [PDF file] [journal]
32. Kira Adaricheva, Agata Pilitowska, David Stanovský, O kompleksnyh algebrah podalgebr, Algebra i logika 47/6 (2008), 655--686 (Russian).
    Translation On complex algebras of subalgebras, Algebra and logic 47/6 (2008), 367--383. [PDF file English] [PDF file Russian] [DOI]
33. David Stanovský, Subdirectly irreducible non-idempotent left distributive left quasigroups, Commun. Algebra, 36/7 (2008), 2654--2669. [PDF file] [DOI]
34. Petar Đapić, Jaroslav Ježek, Petar Marković, Ralph McKenzie, David Stanovský, Star-linear theories of groupoids, Algebra Universalis 56/3-4 (2007), 357--397. [PDF file] [Presentation] [DOI]
35. Jaroslav Ježek, Petar Marković, David Stanovský, Homomorphic images of finite subdirectly irreducible unary algebras, Czech. Math. J. 57/2 (2007), 671--677. [PDF file] [DOI]
36. David Stanovský, Commutative idempotent residuated lattices, Czech. Math. J. 57/1 (2007), 191--200. [PDF file] [DOI]
37. Ralph McKenzie, David Stanovský, Every quasigroup is isomorphic to a subdirectly irreducible quasigroup modulo its monolith, Acta Sci. Math. (Szeged) 72 (2006), 59--64. [PDF file]
38. David Stanovský, On axioms of biquandles, J. Knot Theory Ramifications 15/7 (2006) 931--933. [PDF file] [DOI]
39. Emil Jeřábek, Tomáš Kepka, David Stanovský, Subdirectly irreducible non-idempotent left symmetric left distributive groupoids, Discussiones Math. - General Algebra and Appl. 25/2 (2005) 235--257. [PDF file] [DOI]
40. David Stanovský, Left symmetric left distributive operations on a group, Algebra Universalis 54/1 (2005), 97--103. [PDF file] [DOI]
41. David Stanovský, On varieties of left distributive left idempotent groupoids, Discussiones Math. - General Algebra and Appl. 24/2 (2004), 267--275. [PDF file] [DOI]
42. David Stanovský, On the equational theory of group conjugation, Contributions to General Algebra 15, 177--185, Heyn, Klagenfurt, 2004. [PDF file] [errata]
43. David Stanovský, Homomorphic images of subdirectly irreducible groupoids, Comment. Math. Univ. Carolinae 42/3 (2001), 443--450. [PDF file] [journal]
    
    
44. Michael Kinyon, David Stanovský, Abelianness and centrality in inverse semigroups, submitted, [arXiv]
45. Milan Cvrček, David Stanovský, Primitive quandles with alternating displacement group, submitted, [arXiv]

1. Andrew Fish, Alexei Lisitsa, David Stanovský, Sarah Swartwood, Efficient knot discrimination via quandle coloring with SAT and #-SAT, in: Mathematical Software - ICMS 2016 Proceedings, LNCS 9725, Springer, 2016, pp. 51--58. [DOI]
2. Andrew Fish, Alexei Lisitsa, David Stanovský, Combinatorial approach to knot recognition, in: Embracing Global Computing in Emerging Economies, CCIS 514, Springer, 2015, pp. 64--78. [DOI] [arXiv] [calculations]
3. Jiří Vyskočil, David Stanovský, Josef Urban, Automated proof compression by invention of new definitions, in: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-16, Dakar, 2010), LNAI 6355, Springer, 2011, 447--462. [PDF file]
4. JD Phillips, David Stanovský, Automated theorem proving in loop theory, in: Empirically Successful Automated Reasoning in Mathematics (ESARM workshop, Birmingham, 2008), CEUR Workshop Proceedings 378. [PDF file] [Presentation]

1. The origins of involutory quandles, 2015 (not published). [arXiv]
2. A brief overview of non-associative algebra, 2011 (not intended for publication). [PDF file]
3. Martin Suda, David Stanovský, Geoff Sutcliffe, SPASS-XDB goes Mathematical, 2010 (not published). [PDF file]
4. Nová učebnice obecné algebry, a o výuce algebry pro studenty učitelství, in: sborník konference Setkání učitelů matematiky všech stupňů a typů škol, Srní, 2010. [PDF file]

1. Left distributive left quasigroups, PhD thesis, Charles University in Prague, 2004.
2. Left distributive groupoids, Master's thesis, Charles University in Prague, 2001.

SELECTED TALKS

On quandles and knots:

• Combinatorial approach to knot recognition, 09/2017, University of Colorado, Boulder, USA.
• Quandles and universal algebra, 06/2017, Novi Sad Algebraic Conference, Serbia (invited lecture).
• Selfdistributive quasigroups and quandles: part 1, part 2, 06/2015, Loops'15, Ohrid, Macedonia (invited lecture).
• The structure and enumeration of quandles, 10/2014, University of Ferrara, Italy.
• Quandles: from knots to transitive groups, 06/2013, 86. Arbeitstagung Allgemeine Algebra, Olomouc, Czech Republic (invited lecture).
• Selfdistributive one-sided quasigroups, 06/2009, 2nd Mile High Conference on Nonassociative Mathematics, Denver, USA.

• Commutator theory for quandles, 08/2017, 4th Mile High Conference on Nonassociative Mathematics, Denver, USA.
• Abelianess, Nilpotence, Solvability and Complexity, 09/2015, Workshop "Algebra Across Borders", Astana, Kazakhstan.
• Is there an interesting concept of "binary abelianess"?, 02/2014, at 87. Arbeitstagung Allgemeine Algebra, Linz, Austria.
• Abelianess and solvability (in loops), 09/2013, Summer School on Algebra and Ordered Sets, Trojanovice, Czech Republic.
• Commutator theory for loops (for loop theorists), 08/2013, 3rd Mile High Conference on Nonassociative Mathematics, Denver, USA.
• Commutator theory for loops (for unversal algebraists), 06/2013, Novi Sad Algebraic Conference, Serbia.
• Embedding algebras into modules, 09/2007, Summer School on Algebra and Ordered Sets, Tale, Slovakia.
• Embeding algebras into semimodules, 06/2007, International Conference on Order, Algebra, and Logic, Nashville, USA.

• Subdirectly irreducible algebras in a class of strongly solvable modes, 06/2011, International Conference on Order, Algebra, and Logic, Krakow, Poland.
• Polymorphisms of small digraphs, and the complexity of CSP, 02/2010, 79. Arbeitstagung Allgemeine Algebra, Olomouc, Czech Republic.
• Differential modes, 06/2009, 78. Arbeitstagung Allgemeine Algebra, Bern, Switzerland.
• Every quasigroup is a factor of a subdirectly irreducible quasigroup, 08/2007, Loops'07, Prague, Czech Republic.
• Park's conjecture, 06/2007, Intermediate problems of model theory and universal algebra, Erlogol, Russia.
• *-linear theories of groupoids, 08/2005, International Algebraic Conference, Ekaterinburg, Russia.
• Homomorphic images of subdirectly irreducible algebras, 03/2005, 69. Arbeitstagung Allgemeine Algebra, Potsdam, Germany.

• Theory exploration for working algebraists, 07/2010, Automatheo Workshop, Edinburgh, UK.
• Automated Theorem Proving in algebra, 11/2009, Mathematical Institute SANU, Belgrade, Serbia.
• Computer algebra, 04/2009, Warsaw University of Techonology, Poland.
• Automated Theorem Proving in nonassociative algebra, 11/2008, LPAR'08, Doha, Qatar. [Extended Abstract]
• Automated Theorem Proving in Loop Theory, 07/2008, ESARM Workshop, Birmingham, UK.
• Using automated reasoning in universal algebra: Several examples, 06/2007, Automated Deduction and its Application to Mathematics, Albuquerque, USA.

LECTURE NOTES

1. Základy algebry (Fundamentals of algebra), Matfyzpress, 2010.
2. David Stanovský, Libor Barto, Počítačová algebra (Computer algebra), Matfyzpress, 2011.
3. Příklady z algebry (Exercises on general algebra), in preparation. [PDF]
4. Středoškolské texty (high school texts):
   • texty pro korespondenční seminář
   • Nekonečné množiny (Infinite sets) [PS 1] [PS 2]
   • Dirichletův princip (Pigeonhole principle) [PS]

INVOLVED IN ORGANIZING

• Algebra Across the Borders 2015 (program committee)
• 53th Summer School on Algebra and Ordered Sets 2015 (the organizing duumvirate)
• Loops'15 (program committee)
• Algebras & Clones 2014 (the organizing duumvirate)
• Loops'11 (chair of the local organizing committee)
• International Conference on Algebras and Lattices 2010 (the organizing triumvirate)
• Automatheo workshop 2010 (program committee)
• 46th Summer School on Algebra and Ordered Sets 2008 (the organizing quadrumvirate)
• ESARM workshop 2008 (program committee)
• Loops'07 (chair of the local organizing committee)
• Loops'03 (local organizing committee)

• 2018-2020 - GAČR 18-20123S Expanding the Scope of Universal Algebra (to Michael Pinsker)
• 2013-2014 - Czech-Polish cooperation grant 7AMB13PL013 General algebra and applications (principal investigator)
• 2013-2017 - GAČR 13-01832S General algebra and its connections to computer science (to Libor Barto)
• 2008-2010 - GAČR 201/08/P056 Algorithmic and structural problems of equational logic (principal investigator)
• 2005-2007 - GAČR 201/05/0002 Structure of algebras in varieties (to Jaroslav Ježek)
• 2005-2007 - INTAS 03-51-4110 Universal algebra and lattice theory (to Anna Romanowska, Politechnika Warszawska)
• 2002-2004 - GAČR 201/02/0594 Varieties of algebras (to Jaroslav Ježek)
• 2002-2004 - GAČR 201/02/0148 Categorical methods in informatics and structural mathematics (to Marie Demlová, ČVUT Praha)
• 2002 - FRVŠ 2416/2002 Varieties of universal algebras (to Marian Kechlibar)
• 2000 - FRVŠ 1920/2000 Methodical aspects of binary systems (to Tomáš Kepka)