David Stanovský

LIST OF PUBLICATIONS

JOURNAL PAPERS

1. Selfdistributive groupoids. A2. Non-idempotent left distributive left quasigroups, Acta Univ. Carolinae Math. Phys. 52/2 (2011), 7--28. [PDF file]
2. (with Libor Barto) Polymorphisms of small digraphs, Novi Sad J. Math. 40/2 (2010), 95--109. [PDF file][electronic files]
3. (with Michał Stronkowski) Embedding general algebras into modules, Proc. Amer. Math. Soc. 138/8 (2010), 2687--2699. [PDF file]
4. (with JD Phillips) Automated theorem proving in quasigroup and loop theory, Artificial Intelligence Communications 23/2-3 (2010), 267--283. [PDF file]
5. Idempotent subreducts of semimodules over commutative semirings, Rend. Semin. Mat. Univ. Padova 121 (2009), 33--43. [PDF file]
6. (with Agata Pilitowska and Anna Romanowska) Varieties of differential modes embeddable into semimodules, Internat. J. Algebra Comput. 19/5 (2009), 669--680. [PDF file]
7. (with Alexandr Kravchenko, Agata Pilitowska and Anna Romanowska) Differential modes, Internat. J. Algebra Comput. 18/3 (2008), 567--588. [PDF file]
8. Distributive groupoids are symmetric-by-medial: An elementary proof, Comment. Math. Univ. Carolinae 49/4 (2008), 541--546. [PDF file]
9. (with Kira Adaricheva and Agata Pilitowska) 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]
10. Subdirectly irreducible non-idempotent left distributive left quasigroups, Commun. Algebra, 36/7 (2008), 2654--2669. [PDF file]
11. (with Petar Đapić, Jaroslav Ježek, Petar Marković and Ralph McKenzie) Star-linear theories of groupoids, Algebra Universalis 56/3-4 (2007), 357--397. [PDF file] [Presentation]
12. (with Jaroslav Ježek and Petar Marković) Homomorphic images of finite subdirectly irreducible unary algebras, Czech. Math. J. 57/2 (2007), 671--677. [PDF file]
13. Commutative idempotent residuated lattices, Czech. Math. J. 57/1 (2007), 191--200. [PDF file]
14. (with Ralph McKenzie) Every quasigroup is isomorphic to a subdirectly irreducible quasigroup modulo its monolith, Acta Sci. Math. (Szeged) 72 (2006), 59--64. [PDF file]
15. On axioms of biquandles, J. Knot Theory Ramifications 15/7 (2006) 931--933. [PDF file]
16. (with Emil Jeřábek and Tomáš Kepka) Subdirectly irreducible non-idempotent left symmetric left distributive groupoids, Discussiones Math. - General Algebra and Appl. 25/2 (2005) 235--257. [PDF file]
17. Left symmetric left distributive operations on a group, Algebra Universalis 54/1 (2005), 97--103. [PDF file]
18. On varieties of left distributive left idempotent groupoids, Discussiones Math. - General Algebra and Appl. 24/2 (2004), 267--275. [PDF file]
19. On the equational theory of group conjugation, Contributions to General Algebra 15, 177--185, Heyn, Klagenfurt, 2004. [PDF file] [errata]
20. Homomorphic images of subdirectly irreducible groupoids, Comment. Math. Univ. Carolinae 42/3 (2001), 443--450. [PDF file]
    
    
21. (with JD Phillips) Bruck loops with abelian inner mapping groups, to appear in Commun. Algebra. [PDF file][electronic files]
22. Subdirectly irreducible differential modes, to appear in Internat. J. Algebra Comput. [PDF file]
    
    
23. Abelian differential modes are quasi-affine, submitted. [PDF file]

1. (with Josef Urban, Jiří Vyskočil) Automated proof compression by invention of new definitions, LPAR-16 (Dakar, 2010), in LNAI 6355. [PDF file]
2. (with JD Phillips) Automated theorem proving in loop theory, ESARM workshop (Birmingham, 2008), in CEUR Workshop Proceedings. [PDF file] [Presentation]

1. A survey of left symmetric left distributive idempotent groupoids, 2004 (not published). [PDF file]
2. 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]
3. (with Martin Suda, Geoff Sutcliffe) SPASS-XDB goes Mathematical, 2010 (not published). [PDF file]
4. A brief overview of non-associative algebra, 2011 (not published). [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

• Subdirectly irreducible algebras in a class of strongly solvable modes, 06/2011, International Conference on Order, Algebra, and Logic, Krakow, Poland.
• Theory exploration for working algebraists, 07/2010, Automatheo Workshop, Edinburgh, UK.
• Polymorphisms of small digraphs, and the complexity of CSP, 02/2010, 79. Arbeitstagung Allgemeine Algebra, Olomouc, Czech Republic.
• Automated Theorem Proving in algebra, 11/2009, Mathematical Institute SANU, Belgrade, Serbia.
• Selfdistributive one-sided quasigroups, 06/2009, 2nd Mile High Conference on Nonassociative Mathematics, Denver, USA.
• Differential modes, 06/2009, 78. Arbeitstagung Allgemeine Algebra, Bern, Switzerland.
• 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.
• Embedding algebras into modules, 09/2007, Summer School on Algebra and Ordered Sets, Tale, Slovakia.
• 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.
• Using automated reasoning in universal algebra: Several examples, 06/2007, Automated Deduction and its Application to Mathematics, Albuquerque, USA.
• Embeding algebras into semimodules, 06/2007, International Conference on Order, Algebra, and Logic, Nashville, USA.
• *-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.

LECTURE NOTES

1. Základy algebry (Fundamentals of algebra), Matfyzpress, 2010.
2. (with Libor Barto) Počítačová algebra (Computer algebra), Matfyzpress, 2011. [PDF]
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

• 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)