Explore relationships

Automated theorem provers

Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.

Use + to expand a branch. Click a topic name to open its summary.