THE PARALLEL NUMERICAL-METHOD OF MECHANICAL THEOREM-PROVING

被引：19

作者：

ZHANG, JZ ^{[1
]}

YANG, L ^{[1
]}

DENG, M ^{[1
]}

机构：

[1] UNIV SCI & TECHNOL CHINA, DEPT MATH, HEFEI, PEOPLES R CHINA

来源：

THEORETICAL COMPUTER SCIENCE | 1990年 / 74卷 / 03期

关键词：

D O I：

10.1016/0304-3975(90)90077-U

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper, we present results of the work which allow us to prove geometry theorems by the parallel numerical method based on the multi-instance numerical verification of algebraic identity. The algebraic principle of the parallel numerical method is discussed and illustrated intuitively; the advantages of our method are given. It is acceptable on the complexity of both memory and time. It can be used to prove non-trivial geometric theorems by microcomputer, even by hand. We give some examples proved by parallel numerical method, including certain new unexpected results. © 1990.

引用

页码：253 / 271

页数：19

共 50 条

[1] THE PARALLEL NUMERICAL-METHOD OF PROVING THE CONSTRUCTIVE GEOMETRIC THEOREM
DENG, MK
[J]. CHINESE SCIENCE BULLETIN, 1989, 34 (13): : 1066 - 1070
[2] RECONSTRUCTION OF POLYHEDRA BY A MECHANICAL THEOREM-PROVING METHOD
KOH, K
DEGUCHI, K
MORISHITA, I
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (04) : 437 - 445
[3] AN INTRODUCTION TO WU METHOD OF MECHANICAL GEOMETRY THEOREM-PROVING
GAO, XS
[J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 13 - 21
[4] PARALLEL THEOREM-PROVING WITH CONNECTION GRAPHS
LOGANANTHARAJ, R
MUELLER, RA
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 337 - 352
[5] MECHANICAL THEOREM-PROVING IN PROJECTIVE GEOMETRY
RICHTERGEBERT, J
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 139 - 172
[6] MECHANICAL THEOREM-PROVING BY MODEL ELIMINATION
LOVELAND, DW
[J]. JOURNAL OF THE ACM, 1968, 15 (02) : 236 - &
[7] OR-PARALLEL THEOREM-PROVING WITH RANDOM COMPETITION
ERTEL, W
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 226 - 237
[8] A PARALLEL APPROACH FOR THEOREM-PROVING IN PROPOSITIONAL LOGIC
CHEN, WT
LIU, LL
[J]. INFORMATION SCIENCES, 1987, 41 (01) : 61 - 76
[9] MECHANICAL THEOREM-PROVING IN THE LOCAL THEORY OF SURFACES
LI, ZM
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 25 - 46
[10] ELIMINATION PROCEDURES FOR MECHANICAL THEOREM-PROVING IN GEOMETRY
WANG, DM
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 1 - 24

← 1 2 3 4 5 →