THE PARALLEL NUMERICAL-METHOD OF PROVING THE CONSTRUCTIVE GEOMETRIC THEOREM

被引：2

|

作者：

DENG, MK

机构：

来源：

CHINESE SCIENCE BULLETIN | 1989年 / 34卷 / 13期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：1066 / 1070

页数：5

相关论文

共 50 条

[1] THE PARALLEL NUMERICAL METHOD OF PROVING THE CONSTRUCTIVE GEOMETRIC THEOREM
邓米克
[J]. Science Bulletin, 1989, (13) : 1066 - 1070
[2] THE PARALLEL NUMERICAL-METHOD OF MECHANICAL THEOREM-PROVING
ZHANG, JZ
YANG, L
DENG, M
[J]. THEORETICAL COMPUTER SCIENCE, 1990, 74 (03) : 253 - 271
[3] Theorem proving for constructive λ-calculus
Ramsay, A
[J]. ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, PROCEEDINGS, 2000, 1904 : 69 - 79
[4] Automated Geometric Theorem Proving: Wu's Method
Elias, Joran
[J]. MATHEMATICS ENTHUSIAST, 2006, 3 (01): : 3 - 50
[5] THE NEGATIVE FACTOR COUNTING METHOD FOR SUPERLATTICE SYSTEMS - THEOREM AND NUMERICAL-METHOD
LI, JB
YE, YJ
TANG, AQ
[J]. CHINESE SCIENCE BULLETIN, 1989, 34 (22): : 1882 - 1886
[6] Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method
Zhou, Jie
Wang, Dingkang
Sun, Yao
[J]. JOURNAL OF AUTOMATED REASONING, 2017, 59 (03) : 331 - 344
[7] Hybrid theorem proving as a lightweight method for verifying numerical software
Altuntas, Alper
Baugh, John
[J]. PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, 2018, : 1 - 8
[8] Parallel cooperative propositional theorem proving
Okushi, F
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 26 (1-4) : 59 - 85
[9] Parallel cooperative propositional theorem proving
Fumiaki Okushi
[J]. Annals of Mathematics and Artificial Intelligence, 1999, 26 : 59 - 85
[10] Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method
Jie Zhou
Dingkang Wang
Yao Sun
[J]. Journal of Automated Reasoning, 2017, 59 : 331 - 344

← 1 2 3 4 5 →