Práce je zaměřena na počítačové dokazování. Nejprve je čtenář seznámen s úvodními pojmy, poté je představeno několik problémů, které byly dokázány s pomocí počítače. Další část je zaměřena na popis jednotlivých významných dokazovacích systémů, včetně jejich využití v praxi. Na závěr je popsán jednoduchý dokazovací systém, vytvořený jako součást této práce.This thesis is focused on proofs done by computers. First, the reader is acquainted with the introductory concepts, then a few problems proved with the help of computers are introduced. Next part contains description of individual important prooving systems including their use. Finally, a simple proof system created as a part of this work is described.