共 50 条
- [2] Problem of stability for numerical methods for ordinary differential equations BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 2001, 4A (03): : 383 - 386
- [3] Trees and numerical methods for ordinary differential equations Numerical Algorithms, 2010, 53 : 153 - 170
- [5] 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