Stanovsky, David - School of Mathematics, Charles University in Prague

• Automated Theorem Proving in Quasigroup and Loop Theory J. D. Phillips
• 0. Introduction 1 1. Preface 1
• Preprint: August 14, 2003; Revised November 7, 2003. Submitted to Contr. Gen. Alg. 15
• SPASS-XDB goes Mathematical David Stanovsky1
• Algebra univers. 00 (XX) 000000 0002-5240//00000000 01
• Using Automated Theorem Provers in Non-associative JD Phillips and David Stanovsky
• Introduction Purely 1st order problems More interesting problem Most interesting problem Conclusions Using automated reasoning in universal algebra
• Automated Theorem Proving in Loop Theory J. D. Phillips
• POLYMORPHISMS OF SMALL DIGRAPHS LIBOR BARTO, DAVID STANOVSKY
• HOMOMORPHIC IMAGES OF FINITE SUBDIRECTLY IRREDUCIBLE UNARY ALGEBRAS
• Squarefree words David Stanovsk'y
• VARIETIES OF DIFFERENTIAL MODES EMBEDDABLE INTO SEMIMODULES
• EMBEDDING GENERAL ALGEBRAS INTO MODULES MICHAL M. STRONKOWSKI AND DAVID STANOVSKY
• DIFFERENTIAL MODES A. KRAVCHENKO1
• DISTRIBUTIVE GROUPOIDS ARE SYMMETRIC-BY-MEDIAL: AN ELEMENTARY PROOF
• July 27, 2005 -linear theories of groupoids
• COMMUTATIVE IDEMPOTENT RESIDUATED LATTICES DAVID STANOVSKY
• EVERY QUASIGROUP IS ISOMORPHIC TO A SUBDIRECTLY IRREDUCIBLE QUASIGROUP MODULO
• BRUCK LOOPS WITH ABELIAN INNER MAPPING GROUPS J. D. PHILLIPS AND DAVID STANOVSKY
• SELFDISTRIBUTIVE GROUPOIDS. NON-IDEMPOTENT LEFT DISTRIBUTIVE LEFT
• Automated Proof Compression by Invention of New Definitions
• Automated Theorem Proving in Loop Theory JD Phillips and David Stanovsky
• Theory exploration for working algebraists David Stanovsky
• Polymorphisms of small digraphs, and the complexity of CSP
• Automated theorem proving in algebra David Stanovsky
• Selfdistributive One-sided Quasigroups David Stanovsky
• Differential modes David Stanovsky
• Computer Algebra David Stanovsky
• Every quasigroup is a factor of a subdirectly irreducible quasigroup
• ATP in algebra David Stanovsky
• Automated reasoning in algebra David Stanovsky
• Automated reasoning in algebra David Stanovsky
• What is it all about? Embeddable modes Non-embeddable modes Embedding into modules Embedding modes into semimodules
• LEFT DISTRIBUTIVE LEFT QUASIGROUPS DAVID STANOVSKY
• IDEMPOTENT SUBREDUCTS OF SEMIMODULES OVER COMMUTATIVE SEMIRINGS
• Motivation Subreducts of semimodules Related problems Embedding algebras into semimodules
• Embedding algebras into modules David Stanovsky
• Algebra univers. 00 (XX) 000{000 0002-5240//00000000 { 01
• Homomorphic images of subdirectly irreducible algebras David Stanovsky
• A SURVEY OF LEFT SYMMETRIC LEFT DISTRIBUTIVE DAVID STANOVSKY
• ON VARIETIES OF LEFT DISTRIBUTIVE LEFT IDEMPOTENT DAVID STANOVSKY
• ON COMPLEX ALGEBRAS OF SUBALGEBRAS KIRA ADARICHEVA, AGATA PILITOWSKA, AND DAVID STANOVSKY
• Lambda kalkulus a LISP (Jev##ko 97) 2 Cauchyova rovnice (Mari#nsk# 98) 5
• DIRICHLET#V PRINCIP David Stanovsk#
• Using Automated Theorem Provers in Nonassociative Algebra J. D. Phillips
• ON AXIOMS OF BIQUANDLES DAVID STANOVSKY
• SUBDIRECTLY IRREDUCIBLE NON-IDEMPOTENT LEFT DISTRIBUTIVE LEFT QUASIGROUPS
• Subdirectly irreducible algebras in a class of strongly solvable modes
• A Brief Overview of Non-associative Algebra A Very Personal View
• SUBDIRECTLY IRREDUCIBLE DIFFERENTIAL MODES DAVID STANOVSKY
• Propositional proof complexity I. Jan Kraj cek
• Socialni prostredky Proc se zapojit
• UNIVERSAL ALGEBRA Jaroslav Jezek
• esen kongruenc typu ax b (mod m) (pro a, m nesoudln): Eulerova vta: ob strany pensobit cslem a(n)-1;
• ABELIAN DIFFERENTIAL MODES ARE QUASI-AFFINE DAVID STANOVSKY