共 50 条
- [11] A Rigorous ODE Solver and Smale’s 14th Problem Tucker, Warwick, 1600, Springer Science and Business Media, LLC (02): : 53 - 117
- [12] A Rigorous ODE Solver and Smale’s 14th Problem Foundations of Computational Mathematics, 2002, 2 : 53 - 117