Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Automated theorem proving
open-in-new
<p>Automated theorem proving (also known as ATP or automated deduction) is a subfield of <a href="/facts/Automated_reasoning/x5EdkKoU">automated reasoning</a> and <a href="/facts/Mathematical_logic/SaI7Y3wN">mathematical logic</a> dealing with proving <a href="/facts/Mathematical_theorem/f2Pe1FMD">mathematical theorems</a> by <a href="/facts/Computer_program/e38jH9N9">computer programs</a>. Automated reasoning over <a href="/facts/Mathematical_proof/7ECDrU80">mathematical proof</a> was a major motivating factor for the development of <a href="/facts/Computer_science/lN3pEyPz">computer science</a>. </p>