# Automated theorem prover

Description

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. Automated reasoning over mathematical proof was a major impetus for the development of computer science.

Source en.wikipedia.org/?curid=2546

##### Relations

Edit details Edit relations Attach new author Attach new topic Attach new resource