共 50 条
- [31] APPLYING QUANTIFIER ELIMINATION TO STABILITY ANALYSIS OF DIFFERENCE-SCHEMES COMPUTER JOURNAL, 1993, 36 (05): : 497 - 503
- [36] LOCAL CONSERVATIVENESS OF DIFFERENCE-SCHEMES FOR THE EQUATIONS OF GAS-DYNAMICS USSR COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 1985, 25 (04): : 134 - 142
- [37] THE CONSTRUCTION OF DIFFERENCE-SCHEMES WITH POSITIVE APPROXIMATION FOR EQUATIONS OF PARABOLIC TYPE USSR COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 1984, 24 (05): : 41 - 48