自动化定理证明（Automated theorem proving，简称ATP）目前是自动推理（Automated reasoning，简称AR）体系中发展最好的部分，它的目的是为使用电子计算机程序来进行数学定理的证明。对于不同的公理系统，它能够推论出一个定理在此系统下是正确的，还是不可证明的，或者错误的。
 | 此条目没有列出任何参考或来源。 (2024年5月16日) |
参考
 | 这是一篇关于数学的小作品。您可以通过编辑或修订扩充其内容。 |
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
