Využití programů pro automatické dokazování v algebře
Ročník: 33 (2010/11)
Kategorie: 1: Mathematics and Statistics
3. místo 
Práce je zaměřená především na využití programů pro automatické dokazování pro konstrukci algebraických struktur s předem danými vlastnosti a dokazování základních vět ve výrokové logice prvního řádu. Hlavním cílem práce bylo navázání na dosavadní výzkum v oblasti jednoduchých polookruhů. Další část práce tvoří jiná použití programů Prover9 a Mace4. Velkou částí práce je také stručný úvod do algebry.