automated theorem proving

Also known as automated deduction, ATP, theorem proving

subfield of automated reasoning dealing with proving theorems by computer programs