搜索结果: 1-1 共查到“数理逻辑与数学基础 alphaCertified”相关记录1条 . 查询时间(0.093 秒)
alphaCertified: certifying solutions to polynomial systems
alphaCertified certifying polynomial systems
2010/11/11
Smale's alpha-theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to a square polynomial syste...