几何定理机器证明
基于1个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
youdao
应用推荐
模块上移
模块下移
不移动