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 条

[21] ON THE ALGEBRAIC FORMULATION OF CERTAIN GEOMETRY STATEMENTS AND MECHANICAL GEOMETRY THEOREM-PROVING
CHOU, SC
YANG, JG
ALGORITHMICA, 1989, 4 (02) : 237 - 262
[22] AN INTRODUCTION TO WU METHOD OF MECHANICAL GEOMETRY THEOREM-PROVING
GAO, XS
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 13 - 21
[23] Mechanical theorem proving in differential geometry——Local theory of surfaces
李洪波
Science China Mathematics, 1997, (04) : 350 - 356
[24] SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY
WU, WJ
ACTA MATHEMATICA SCIENTIA, 1983, 3 (04) : 357 - 360
[25] THE PARALLEL NUMERICAL-METHOD OF MECHANICAL THEOREM-PROVING
ZHANG, JZ
YANG, L
DENG, M
THEORETICAL COMPUTER SCIENCE, 1990, 74 (03) : 253 - 271
[26] AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC SET METHOD .2. MECHANICAL THEOREM-PROVING
CHOU, SC
GAO, XS
JOURNAL OF AUTOMATED REASONING, 1993, 10 (02) : 173 - 189
[27] Commonsense Reasoning Meets Theorem Proving
Furbach, Ulrich
Schon, Claudia
MULTIAGENT SYSTEM TECHNOLOGIES, MATES 2016, 2016, 9872 : 3 - 17
[28] A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry
Roanes-Lozano, Eugenio
Roanes-Macias, Eugenio
COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2013, 2013, 8136 : 288 - 300
[29] Automated reasoning in differential geometry and mechanics using the characteristic set method. Part II. Mechanical theorem proving
1600, (10):
[30] REALIZATION OF A GEOMETRY THEOREM PROVING MACHINE
GELERNTER, H
COMMUNICATIONS OF THE ACM, 1959, 2 (07) : 19 - 19

← 1 2 3 4 5 →