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 条

[11] A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING
WU Jinzhao(Institute of Systems Science
SystemsScienceandMathematicalSciences, 1996, (04) : 313 - 318
[12] A GENERALIZED EUCLIDEAN ALGORITHM FOR GEOMETRY THEOREM-PROVING
KALKBRENER, M
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 73 - 95
[13] MECHANICAL THEOREM-PROVING BY MODEL ELIMINATION
LOVELAND, DW
JOURNAL OF THE ACM, 1968, 15 (02) : 236 - &
[14] GEOMETRY THEOREM-PROVING BY DECOMPOSITION OF QUASI-ALGEBRAIC SETS - AN APPLICATION OF THE RITT-WU PRINCIPLE
KO, HP
ARTIFICIAL INTELLIGENCE, 1988, 37 (1-3) : 95 - 122
[15] MECHANICAL THEOREM-PROVING IN THE LOCAL THEORY OF SURFACES
LI, ZM
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 25 - 46
[16] ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY
吴文俊
Science China Mathematics, 1978, (02) : 159 - 172
[17] ON THE APPLICATION OF BUCHBERGER ALGORITHM TO AUTOMATED GEOMETRY THEOREM-PROVING
KUTZLER, B
STIFTER, S
JOURNAL OF SYMBOLIC COMPUTATION, 1986, 2 (04) : 389 - 397
[18] Automatic geometry theorem-proving and automatic geometry problem-solving
Wu, WT
AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS, 1999, 1669 : 1 - 13
[19] DECISION PROBLEM AND MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY
WU, WT
SCIENTIA SINICA, 1978, 21 (02): : 159 - 172
[20] AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC SET METHOD .2. MECHANICAL THEOREM-PROVING
CHOU, SC
GAO, XS
JOURNAL OF AUTOMATED REASONING, 1993, 10 (02) : 173 - 189

← 1 2 3 4 5 →