Parallel forward reasoning for mechanical proving of geometry theorem

被引：0

作者：

College of Information Management, Chengdu University of Technology, Chengdu 610059, China ^{[1
]}

不详 ^{[2
]}

机构：

来源：

Huanan Ligong Daxue Xuebao | 2008年 / 4卷 / 93-97期

关键词：

Parallel algorithms;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] Mechanical geometry theorem proving. Geometric reasoning
1600, (07):
[2] Parallel automated reasoning for geometry theorem proving based on MPI environment
Pan, Bin
Guo, Hong-Xia
Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2008, 37 (06): : 908 - 912
[3] Visual reasoning in geometry theorem proving
1617, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (02):
[4] Mechanical theorem proving in geometry
Jun-Yu, Gao
Cheng-Dong, Zhang
Telkomnika - Indonesian Journal of Electrical Engineering, 2012, 10 (07): : 1554 - 1559
[5] A REPORT ON MECHANICAL GEOMETRY THEOREM PROVING
吴文俊
Progress in Natural Science Communication of State Key Laboratories of China, 1992, (01) : 1 - 17
[6] Mechanical theorem proving in computational geometry
Meikle, LI
Fleuriot, JD
AUTOMATED DEDUCTION IN GEOMETRY, 2006, 3763 : 1 - 18
[7] Ordering in mechanical geometry theorem proving
Hongbo Li
Science in China Series A: Mathematics, 1997, 40 : 225 - 233
[8] Ordering in mechanical geometry theorem proving
Li, HB
SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1997, 40 (03): : 225 - 233
[9] A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING
WU Jinzhao(Institute of Systems Science
SystemsScienceandMathematicalSciences, 1996, (04) : 313 - 318
[10] Ordering in mechanical geometry theorem proving
李洪波￥
Science China Mathematics, 1997, (03) : 225 - 233