David Stanovsky

David Stanovský //

I am an assistant professor at Department of Algebra, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic.
Address: KA MFF UK, Sokolovská 83, 18675 Praha 8
Phone: +420 22191 3359
Office nr.: 308
My primary research interest is general algebra, most of my work concernes universal algebra and non-associative algebraic structures, particularly the medial/entropic and self-distributive ones. I am also interested in automated theorem proving in service of solving mathematical problems.

RESEARCH VÝUKA // TEACHING

List of publications
CV (last update 03/2011)

QPTP library - Quasigroup Problems for Theorem Provers
H₂WO₄ (tungstic acid) - a theorem prover for first order logic with basic arithmetic
we organized Jardafest, Loops'11 and hope to not organize anything soon

ALGEBRA I, II (2012/13)

Seminář o quandlech - , zápočtové a otevřené problémy

Starší kurzy // Older courses

KAFKA // Seminar on combinatorial, algorithmic and finite algebra

Jarní školy KA // Spring Schools of the Department of Algebra

vyšla mi učebnice Základy algebry, kupte si ji! :-) a omlouvám se za pár drobných nepřesností

vyšla nám učebnice Počítačová algebra (s Liborem Bartem), kupte si ji! :-) a omlouváme se za pár drobných nepřesností