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 条

[1] A REPORT ON MECHANICAL GEOMETRY THEOREM PROVING
吴文俊
Progress in Natural Science Communication of State Key Laboratories of China, 1992, (01) : 1 - 17
[2] Mechanical theorem proving in computational geometry
Meikle, LI
Fleuriot, JD
AUTOMATED DEDUCTION IN GEOMETRY, 2006, 3763 : 1 - 18
[3] Ordering in mechanical geometry theorem proving
Hongbo Li
Science in China Series A: Mathematics, 1997, 40 : 225 - 233
[4] Ordering in mechanical geometry theorem proving
Li, HB
SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1997, 40 (03): : 225 - 233
[5] A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING
WU Jinzhao(Institute of Systems Science
SystemsScienceandMathematicalSciences, 1996, (04) : 313 - 318
[6] Ordering in mechanical geometry theorem proving
李洪波￥
Science China Mathematics, 1997, (03) : 225 - 233
[7] Multimodal system for mechanical geometry theorem proving
Yuan, XH
Zhao, K
Wang, J
CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, 1996, : 284 - 291
[8] Mechanical theorem proving in Tarski's geometry
Narboux, Julien
AUTOMATED DEDUCTION IN GEOMETRY, 2007, 4869 : 139 - 156
[9] MECHANICAL THEOREM-PROVING IN PROJECTIVE GEOMETRY
RICHTERGEBERT, J
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 139 - 172
[10] Vectorial equations solving for mechanical geometry theorem proving
Li H.
Journal of Automated Reasoning, 2000, 25 (02) : 83 - 121

← 1 2 3 4 5 →