此條目没有列出任何参考或来源。(2024年5月16日) 維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。

自動化定理證明（Automated theorem proving，簡稱ATP）目前是自动推理（Automated reasoning，簡稱AR）体系中发展最好的部分，它的目的是为使用电子计算机程序来进行数学定理的证明。对于不同的公理系统，它能够推论出一个定理在此系统下是正确的，还是不可证明的，或者错误的。

• 電腦協助證明

这是一篇关于数学的小作品。您可以通过编辑或修订扩充其内容。 查 论 编

• 数学软件

• 自2024年5月缺少来源的条目
• 全部小作品
• 數學小作品