ON THE ALGEBRAIC FORMULATION OF CERTAIN GEOMETRY STATEMENTS AND MECHANICAL GEOMETRY THEOREM-PROVING

被引：3

作者：

CHOU, SC ^{[1
]}

YANG, JG ^{[1
]}

机构：

[1] UNIV TEXAS,DEPT MATH,AUSTIN,TX 78712

来源：

ALGORITHMICA | 1989年 / 4卷 / 02期

关键词：

D O I：

10.1007/BF01553889

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：237 / 262

页数：26

共 50 条

[1] MECHANICAL THEOREM-PROVING IN PROJECTIVE GEOMETRY
RICHTERGEBERT, J
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 139 - 172
[2] ELIMINATION PROCEDURES FOR MECHANICAL THEOREM-PROVING IN GEOMETRY
WANG, DM
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 1 - 24
[3] SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY
吴文俊
[J]. Acta Mathematica Scientia, 1983, (04) : 357 - 360
[4] AN INTRODUCTION TO WU METHOD OF MECHANICAL GEOMETRY THEOREM-PROVING
GAO, XS
[J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 13 - 21
[5] SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY
WU, WJ
[J]. ACTA MATHEMATICA SCIENTIA, 1983, 3 (04) : 357 - 360
[6] A REFUTATIONAL APPROACH TO GEOMETRY THEOREM-PROVING
KAPUR, D
[J]. ARTIFICIAL INTELLIGENCE, 1988, 37 (1-3) : 61 - 93
[7] A GENERALIZED EUCLIDEAN ALGORITHM FOR GEOMETRY THEOREM-PROVING
KALKBRENER, M
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 73 - 95
[8] Automatic geometry theorem-proving and automatic geometry problem-solving
Wu, WT
[J]. AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS, 1999, 1669 : 1 - 13
[9] INTUITION AND DYNAMIC GEOMETRY IN PROVING ALGEBRAIC STATEMENTS
Delikanlis, Panagiotis
[J]. PROCEEDINGS OF THE 35TH CONFERENCE OF THE INTERNATIONAL GROUP FOR THE PSYCHOLOGY OF MATHEMATICS EDUCATION, VOL. 1: DEVELOPING MATHEMATICAL THINKING, 2011, : 283 - 283
[10] Mechanical theorem proving in geometry
Jun-Yu, Gao
Cheng-Dong, Zhang
[J]. Telkomnika - Indonesian Journal of Electrical Engineering, 2012, 10 (07): : 1554 - 1559

← 1 2 3 4 5 →