Which of the following refers to the proving of mathematical theorems by a computer program?
Analytical theorem proving
Automated technology proving
Automated theorem processing
Automated theorem proving
None of the choices.
Automated theorem proving (ATP) is the proving of mathematical theorems by a computer program.
Depending on the underlying logic, the problem of deciding the validity of a theorem varies from
trivial to impossible. Commercial use of automated theorem proving is mostly concentrated in
integrated circuit design and verification.