共 50 条
- [1] Decidability of trajectory-based equations MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2004, PROCEEDINGS, 2004, 3153 : 723 - 734
- [5] EIGENVALUE APPROXIMATIONS IN ORDINARY DIFFERENTIAL EQUATIONS BY A METHOD OF DIFFERENCES ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1969, 49 (03): : 141 - +