Back Teoremlərin avtomatik sübutu Azerbaijani Demostración automática de teoremas Spanish Teoremen frogapen automatiko Basque اثبات قضیه خودکار Persian Démonstration automatique de théorèmes French Թեորեմների ավտոմատացված ապացուցում Armenian Dimostrazione automatica di teoremi Italian 自動定理証明 Japanese 자동 정리 증명 Korean Automatyczne dowodzenie twierdzeń Polish
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 motivating factor for the development of computer science.