David Stanovský

According to our database, David Stanovský authored at least 8 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Distributive and trimedial quasigroups of order 243.

Premysl Jedlicka, David Stanovský, Petr Vojtechovský

Discret. Math., 2017

2016

Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT.

Andrew Fish, Alexei Lisitsa, David Stanovský, Sarah Swartwood

Proceedings of the Mathematical Software - ICMS 2016, 2016

2015

A Combinatorial Approach to Knot Recognition.

Andrew Fish, Alexei Lisitsa, David Stanovský

Proceedings of the Embracing Global Computing in Emerging Economies - First Workshop, 2015

2012

Subdirectly Irreducible differential Modes.

David Stanovský

Int. J. Algebra Comput., 2012

2010

Automated theorem proving in quasigroup and loop theory.

J. D. Phillips, David Stanovský

AI Commun., 2010

Automated Proof Compression by Invention of New Definitions.

Jirí Vyskocil, David Stanovský, Josef Urban

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

Varieties of Differential Modes Embeddable into Semimodules.

Agata Pilitowska, Anna B. Romanowska, David Stanovský

Int. J. Algebra Comput., 2009

2008

Differential Modes.

A. V. Kravchenko, Agata Pilitowska, Anna B. Romanowska, David Stanovský

Int. J. Algebra Comput., 2008