共 50 条
- [32] 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
- [35] NUMERICAL-METHODS FOR PARABOLIC PARTIAL INTEGRO-DIFFERENTIAL EQUATIONS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (05): : A594 - A594