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 条

[31] GEOMETRIC THEOREM-PROVING BY INTEGRATED LOGICAL AND ALGEBRAIC REASONING
MATSUYAMA, T
NITTA, T
[J]. ARTIFICIAL INTELLIGENCE, 1995, 75 (01) : 93 - 113
[32] Algebraic representation, elimination and expansion in automated geometric theorem proving
Li, HB
[J]. AUTOMATED DEDUCTION IN GEOMETRY, 2004, 2930 : 106 - 123
[33] Projective geometric theorem proving with Grassmann-Cayley algebra
Li, Hongbo
[J]. HERMANN GRASSMANN: FROM PAST TO FUTURE: GRASSMANN'S WORK IN CONTEXT, 2011, : 275 - 285
[34] Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
Marinkovic, Vesna
Janicic, Predrag
Schreck, Pascal
[J]. AUTOMATED DEDUCTION IN GEOMETRY, 2015, 9201 : 72 - 93
[35] NUMERICAL-METHOD OF EXPONENTIAL PEELING
LEE, EYT
[J]. BULLETIN OF THE AMERICAN PHYSICAL SOCIETY, 1975, 20 (02): : 228 - 228
[36] THE NUMERICAL-METHOD IN THERAPEUTIC MEDICINE
SHIMKIN, MS
[J]. PUBLIC HEALTH REPORTS, 1964, 79 (01): : 1 - 12
[37] A NUMERICAL-METHOD FOR SUSPENSION FLOW
SULSKY, D
BRACKBILL, JU
[J]. JOURNAL OF COMPUTATIONAL PHYSICS, 1991, 96 (02) : 339 - 368
[38] NUMERICAL-METHOD FOR UNITARY SYSTEMS
SHIPSEY, EJ
[J]. JOURNAL OF COMPUTATIONAL PHYSICS, 1986, 66 (01) : 218 - 224
[39] A NUMERICAL-METHOD FOR THE BIHARMONIC PROBLEM
AMARA, M
DESTUYNDER, P
[J]. INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 1981, 17 (10) : 1515 - 1523
[40] NUMERICAL-METHOD OF FILM ANALYSIS WITH DIFFERENTIATION
HAUT, RC
REMMERS, EP
MEYER, WW
[J]. ISA TRANSACTIONS, 1979, 18 (04) : 15 - 22

← 1 2 3 4 5 →