PROGRAM VERIFICATION IN NUMERICAL-METHODS

被引：0

|

作者：

LIM, RTC ^{[1
]}

BLACKBURN, JD ^{[1
]}

机构：

[1] UNIV DURHAM,DEPT COMP,DURHAM DH1 3LE,ENGLAND

来源：

COMPUTER JOURNAL | 1976年 / 19卷 / 03期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：272 / 273

页数：2

相关论文

共 50 条

[11] INVARIANT CURVES FOR NUMERICAL-METHODS
DOAN, HT
QUARTERLY OF APPLIED MATHEMATICS, 1986, 43 (04) : 511 - 519
[12] NUMERICAL-METHODS FOR ASTROPHYSICAL PLASMAS
DORFI, EA
COMPUTER PHYSICS COMMUNICATIONS, 1986, 43 (01) : 1 - 15
[13] NUMERICAL-METHODS IN CONFORMAL TRANSFORMATION
NICOLAIDE, A
PROCEEDINGS OF THE INSTITUTION OF ELECTRICAL ENGINEERS-LONDON, 1977, 124 (11): : 1110 - 1110
[14] MODELING AND NUMERICAL-METHODS OF TWOPOOL
SIENICKI, JJ
ABRAMSON, PB
TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1978, 28 (JUN): : 275 - 276
[15] NUMERICAL-METHODS FOR UNILATERAL PROBLEMS
NOOR, MA
TIRMIZI, SIA
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 1986, 16 (03) : 387 - 395
[16] NUMERICAL-METHODS FOR AGB EVOLUTION
WAGENHUBER, J
WEISS, A
ASTRONOMY & ASTROPHYSICS, 1994, 286 (01) : 121 - 135
[17] INVARIANT CURVES FOR NUMERICAL-METHODS
DOAN, HT
QUARTERLY OF APPLIED MATHEMATICS, 1985, 43 (03) : 385 - 393
[18] INVARIANTS AND NUMERICAL-METHODS FOR ODES
GEAR, CW
PHYSICA D, 1992, 60 (1-4): : 303 - 310
[19] NUMERICAL-METHODS FOR SIMULTANEOUS DIAGONALIZATION
BUNSEGERSTNER, A
BYERS, R
MEHRMANN, V
SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 1993, 14 (04) : 927 - 949
[20] NUMERICAL-METHODS FOR CONSERVATION LAWS
WENDROFF, B
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (01): : A153 - A153

← 1 2 3 4 5 →