# Automated theorem proving

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.

## Words

This table shows the example usage of word lists for keywords extraction from the text above.

Word | Word Frequency | Number of Articles | Relevance |
---|---|---|---|

automated | 6 | 3658 | 0.646 |

proving | 4 | 1597 | 0.48 |

theorem | 3 | 4782 | 0.311 |

deduction | 2 | 425 | 0.279 |

mathematical | 3 | 10575 | 0.276 |