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 条

[1] MECHANICAL THEOREM-PROVING IN PROJECTIVE GEOMETRY
RICHTERGEBERT, J
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 139 - 172
[2] Fast Theorem-Proving and Wu's Method
李廉
王继民
Journal of Computer Science & Technology, 1999, (05) : 481 - 486
[3] Fast theorem-proving and Wu's method
Li L.
Wang J.
Journal of Computer Science and Technology, 1999, 14 (5) : 481 - 486
[4] ELIMINATION PROCEDURES FOR MECHANICAL THEOREM-PROVING IN GEOMETRY
WANG, DM
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 1 - 24
[5] SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY
吴文俊
ActaMathematicaScientia, 1983, (04) : 357 - 360
[6] SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY
WU, WJ
ACTA MATHEMATICA SCIENTIA, 1983, 3 (04) : 357 - 360
[7] RECONSTRUCTION OF POLYHEDRA BY A MECHANICAL THEOREM-PROVING METHOD
KOH, K
DEGUCHI, K
MORISHITA, I
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (04) : 437 - 445
[8] ON THE ALGEBRAIC FORMULATION OF CERTAIN GEOMETRY STATEMENTS AND MECHANICAL GEOMETRY THEOREM-PROVING
CHOU, SC
YANG, JG
ALGORITHMICA, 1989, 4 (02) : 237 - 262
[9] A REFUTATIONAL APPROACH TO GEOMETRY THEOREM-PROVING
KAPUR, D
ARTIFICIAL INTELLIGENCE, 1988, 37 (1-3) : 61 - 93
[10] THE PARALLEL NUMERICAL-METHOD OF MECHANICAL THEOREM-PROVING
ZHANG, JZ
YANG, L
DENG, M
THEORETICAL COMPUTER SCIENCE, 1990, 74 (03) : 253 - 271

← 1 2 3 4 5 →