《表2 几何定理验证的实验结果》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《形式化几何知识库的设计与构建》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

注:（1）表2中定理选自“GEOMETRY REVISITED”by H.S.M.Coxeter and S.L.Greitzer和“Theorems Proved Mechanically by Wu’s Method”by Chou Shang-Ching。（2）表2中数据为Error代表证明结果为（in charsets/prem B）cannot determine if this expression is true or false

本文选取20条著名的几何定理，分别用Wprover、Tprover以及Gprover等方法进行自动证明，应用不同证明方法所需时间（单位为秒）如表2所示。