共 50 条
- [21] 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
- [22] Degenerate Higher-Order Ordinary Differential Equations and Some of Their Applications Lobachevskii Journal of Mathematics, 2022, 43 : 219 - 228
- [23] Variational strategies on the study of the existence and uniqueness theorem for ordinary differential equations PROCEEDINGS OF THE TENTH CONGRESS OF THE EUROPEAN SOCIETY FOR RESEARCH IN MATHEMATICS EDUCATION (CERME10), 2017, : 1725 - 1731