搜索结果: 1-1 共查到“几何学 Full”相关记录1条 . 查询时间(0.187 秒)
Automated Generation of Readable Proofs with Geometric Invariants II. Theorem Proving With Full-Angles
Automated reasoning automated geometry theorem proving method based on angle forward chaining backward chaining
font style='font-size:12px;'>
2013/9/9
We present a set of rules based on full-angles as the basis of automated geometry theorem proving. We extend the idea of eliminating variables and points to the idea of eliminating lines. We also disc...