此条目没有列出任何参考或来源。 (2024年5月16日) 维基百科所有的内容都应该可供查证。请协助补充可靠来源以改善这篇条目。无法查证的内容可能会因为异议提出而被移除。 |
自动化定理证明(Automated theorem proving,简称ATP)目前是自动推理(Automated reasoning,简称AR)体系中发展最好的部分,它的目的是为使用电子计算机程序来进行数学定理的证明。对于不同的公理系统,它能够推论出一个定理在此系统下是正确的,还是不可证明的,或者错误的。
|
这是一篇关于数学的小作品。你可以通过编辑或修订扩充其内容。 |