rilpoint_mw113


自動定理證明

自動定理證明 (ATP), 目前是自动推理(AR)体系中发展最好的部分，它的目的是为使用电子计算机程序来进行数学定理的证明。对于不同的数学逻辑，它能够推论出一个定理是正确的，还是不可证明的，或者错误的。

来自“http://www.wikilib.com/wiki/%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%AD%89%E6%98%8E”

1个分类: 数学软件