共 50 条
- [33] Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0 FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 20 - 38
- [36] Formally-Verified Round-Off Error Analysis of Runge–Kutta Methods Journal of Automated Reasoning, 2024, 68
- [37] A relation on round-off error, attractor size and its dynamics INTERNATIONAL JOURNAL OF MODERN PHYSICS B, 2007, 21 (23-24): : 3986 - 3989