共 50 条
- [31] 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
- [34] NUMERICAL-METHODS FOR PARABOLIC PARTIAL INTEGRO-DIFFERENTIAL EQUATIONS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (05): : A594 - A594
- [38] DERIVATIVE FREE NUMERICAL-METHODS FOR STOCHASTIC DIFFERENTIAL-EQUATIONS LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1987, 96 : 187 - 193