共 50 条
- [2] Stability of Numerical Methods for Ordinary Differential Equations Numerical Algorithms, 2002, 31 : 59 - 73
- [4] 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
- [6] Problem of stability for numerical methods for ordinary differential equations BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 2001, 4A (03): : 383 - 386