Automated theorem proving

Subfield of automated reasoning dealing with proving theorems by computer programs