AN INTRODUCTION TO WU METHOD OF MECHANICAL GEOMETRY THEOREM-PROVING

被引：0
|
作者：
GAO, XS
机构：
来源：
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY | 1992年 / 19卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This is an introduction to Wu's method of mechanical geometry theorem proving and methods of automated geometry reasoning developed from Wu's method. Several examples are used to illustrate the methods.
引用
收藏
页码：13 / 21
页数：9
相关论文
共 50 条
12345