Automated Theorem Proving - Wikipedia - computer programs ![rw-book-cover|200x400](https://readwise-assets.s3.amazonaws.com/static/images/article2.74d541386bbf.png) ## Metadata - Author: **computer programs** - Full Title: Automated Theorem Proving - Wikipedia - Category: #articles - URL: https://en.wikipedia.org/wiki/Automated_theorem_proving ## Highlights - 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.