REALIZATION OF A GEOMETRY THEOREM PROVING MACHINE

被引：0

|

作者：

GELERNTER, H

机构：

来源：

COMMUNICATIONS OF THE ACM | 1959年 / 2卷 / 07期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：19 / 19

页数：1

相关论文

共 50 条

[31] ELIMINATION PROCEDURES FOR MECHANICAL THEOREM-PROVING IN GEOMETRY
WANG, DM
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 1 - 24
[32] Mechanical geometry theorem proving based on groebner bases
Jinzhao Wu
[J]. Journal of Computer Science and Technology, 1997, 12 (1) : 10 - 16
[33] Portfolio theorem proving and prover runtime prediction for geometry
Mladen Nikolić
Vesna Marinković
Zoltán Kovács
Predrag Janičić
[J]. Annals of Mathematics and Artificial Intelligence, 2019, 85 : 119 - 146
[34] A case of automatic theorem proving in Euclidean geometry: The Maclane 8(3) theorem
Conti, P
Traverso, C
[J]. APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR-CORRECTING CODES, 1995, 948 : 183 - 193
[35] Automatic geometry theorem-proving and automatic geometry problem-solving
Wu, WT
[J]. AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS, 1999, 1669 : 1 - 13
[36] ON THE ALGEBRAIC FORMULATION OF CERTAIN GEOMETRY STATEMENTS AND MECHANICAL GEOMETRY THEOREM-PROVING
CHOU, SC
YANG, JG
[J]. ALGORITHMICA, 1989, 4 (02) : 237 - 262
[37] EXAMINATION OF GEOMETRY THEOREM MACHINE
GILMORE, PC
[J]. ARTIFICIAL INTELLIGENCE, 1970, 1 (03) : 171 - 187
[38] Where the truth lies (in automatic theorem proving in elementary geometry)
Recio, T
Botana, F
[J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 2, 2004, 3044 : 761 - 770
[39] Mechanical theorem proving in differential geometry - Local theory of surfaces
Li, HB
[J]. SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1997, 40 (04): : 350 - 356
[40] ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY
吴文俊
[J]. Science in China,SerA., 1978, Ser.A.1978 (02) : 159 - 172

← 1 2 3 4 5 →