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.

WordWord FrequencyNumber of ArticlesRelevance
automated636580.646
proving415970.48
theorem347820.311
deduction24250.279
mathematical3105750.276

This website uses cookies to ensure you get the best experience on our website. Learn more. Got it.