搜索结果: 1-1 共查到“数学 shortest proof”相关记录1条 . 查询时间(0.046 秒)
Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation
Automated reasoning automated geometry theorem proving area method multiple proof shortest proof
2013/9/9
In this series of papers, we discuss how to use a ˉxed set of high level geometry lemmas or rules related to geometric invariants, such as area, full-angle, etc., to produce short and human-readable p...