共 50 条
- [23] TSCHEBYSCHEFF METHODS FOR ORDINARY DIFFERENTIAL-EQUATIONS COMPUTER JOURNAL, 1962, 4 (04): : 318 - 331
- [26] Verified Numerical Methods for Ordinary Differential Equations SOFTWARE VERIFICATION AND FORMAL METHODS FOR ML-ENABLED AUTONOMOUS SYSTEMS, FOMLAS 2022, NSV 2022, 2022, 13466 : 147 - 163