Mechanical theorem proving in geometry

被引：0

作者：

Jun-Yu, Gao ^{[1
]}

Cheng-Dong, Zhang ^{[1
]}

机构：

[1] Cangzhou Normal University, China

来源：

Telkomnika - Indonesian Journal of Electrical Engineering | 2012年 / 10卷 / 07期

关键词：

D O I：

10.11591/telkomnika.v10i7.1451

中图分类号：

学科分类号：

摘要：

引用

页码：1554 / 1559

共 50 条

[41] Automatic geometry theorem-proving and automatic geometry problem-solving
Wu, WT
AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS, 1999, 1669 : 1 - 13
[42] Where the truth lies (in automatic theorem proving in elementary geometry)
Recio, T
Botana, F
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 2, 2004, 3044 : 761 - 770
[43] A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
Shang-Ching Chou
Xiao-Shan Gao
Jing-Zhong Zhang
Journal of Automated Reasoning, 2000, 25 : 219 - 246
[44] DECISION PROBLEM AND MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY
WU, WT
SCIENTIA SINICA, 1978, 21 (02): : 159 - 172
[45] Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management
Wang, Dongming
AUTOMATED DEDUCTION IN GEOMETRY: 9TH INTERNATIONAL WORKSHOP, 2013, 7993 : 31 - 32
[46] Automated Geometry Theorem Proving for Human-Readable Proofs
Wang, Ke
Su, Zhendong
PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1193 - 1199
[47] An Instructional Model for Learning Theorem Proving with Dynamic Geometry Environment
Wong, Wing-Kwong
Chen, Bo-Yu
Yin, Sheng-Kai
TOWARDS SUSTAINABLE AND SCALABLE EDUCATIONAL INNOVATIONS INFORMED BY LEARNING SCIENCES, 2005, 133 : 934 - 937
[48] ON THE APPLICATION OF BUCHBERGER ALGORITHM TO AUTOMATED GEOMETRY THEOREM-PROVING
KUTZLER, B
STIFTER, S
JOURNAL OF SYMBOLIC COMPUTATION, 1986, 2 (04) : 389 - 397
[49] ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY
吴文俊
Science China Mathematics, 1978, (02) : 159 - 172
[50] A deductive database approach to automated geometry theorem proving and discovering
Chou, SC
Gao, XS
Zhang, JZ
JOURNAL OF AUTOMATED REASONING, 2000, 25 (03) : 219 - 246

← 1 2 3 4 5 →