Browsing by Advisor "Štěpánek, Petr"
Now showing items 21-21 of 21
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Date of defense: 7. 3. 2007In this thesis we deal with the problem of automatic proving (or disproving) mathematical conjectures using computer programs (usually called automated theorem provers). We address several issues that are important for a ...