维基百科
自動化定理證明, automated, theorem, proving, 簡稱atp, 目前是自动推理, automated, reasoning, 簡稱ar, 体系中发展最好的部分, 它的目的是为使用电子计算机程序来进行数学定理的证明, 对于不同的公理系统, 它能够推论出一个定理在此系统下是正确的, 还是不可证明的, 或者错误的, agda2中的一个证明例子參考, 编辑電腦協助證明, nbsp, 这是一篇关于数学的小作品, 你可以通过编辑或修订扩充其内容, 查论编, 取自, https, wikipedia, . 自動化定理證明 Automated theorem proving 簡稱ATP 目前是自动推理 Automated reasoning 簡稱AR 体系中发展最好的部分 它的目的是为使用电子计算机程序来进行数学定理的证明 对于不同的公理系统 它能够推论出一个定理在此系统下是正确的 还是不可证明的 或者错误的 agda2中的一个证明例子參考 编辑電腦協助證明 nbsp 这是一篇关于数学的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 自動化定理證明 amp oldid 80241204, 维基百科，wiki，书籍，书籍，图书馆，