Využití programů pro automatické dokazování v algebře
Autor práce: Joel Jančařík (Septima)
Použití jednoduchých polookruhů za pomoci programů pro automatické dokazování Prover9 a Mace4. Práce vychází z trendů nahrazování „ručních“ metod metodami výpočetní techniky.