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