# Automated theorem proving

## Subfield of automated reasoning and mathematical logic / From Wikipedia, the free encyclopedia

#### Dear Wikiwand AI, let's keep it short by simply answering these key questions:

Can you list the top facts and stats about Automated theorem proving?

Summarize this article for a 10 year old

SHOW ALL QUESTIONS

**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.