Ordering in mechanical geometry theorem proving

被引：0
|
作者：
Li, HB
机构：
[1] Chinese Academy of Sciences,Institute of Systems Science
来源：
SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY | 1997年 / 40卷 / 03期
关键词：
Wu's method; order; Thebault's theorem;
D O I：
10.1007/BF02874514
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Ordering in mechanical geometry theorem proving is studied from geometric viewpoint and some new ideas are proposed. For Thebault's theorem which is the most difficult theorem that has ever been proved by Wu' s method, a very simple proof using Wu's method under a linear order is discovered.
引用
收藏
页码：225 / 233
页数：9
相关论文
共 50 条
12345