Ordering in mechanical geometry theorem proving

被引：0
|
作者：
李洪波￥
机构：
[1] China
[2] Beijing 100080
[3] Institute of Systems Science
[4] Chinese Academy of Sciences
来源：
Science China Mathematics | 1997年 / 03期
基金：
中国国家自然科学基金;
关键词：
Wu’s method; order; Thebault’s theorem;
D O I：
暂无
中图分类号：
O223 [统筹方法];
学科分类号：
070105 ; 1201 ;
摘要：
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