沃里克·塔克 严格的常微分方程求解器和Smale的第14个问题。 （英语） Zbl 1047.37012号 已找到。计算。数学。 2，第1期，53-117（2002）. 作者提出了一种计算常微分方程严格解的算法。该算法分为两个主要部分：基于范式理论的局部部分和包含有向舍入和划分过程的区间算法的全局部分。作为该算法的一个应用，作者证明了Lorenz方程支持一个鲁棒奇异吸引子，其流允许一个唯一的SRB测度，其支持与吸引子一致。审核人：Faouzi Lakrad（斯图加特） 引用于2评论引用于156文件 MSC公司： 37立方厘米10 流和半流诱导的动力学 37D45号 奇异吸引子，双曲行为系统的混沌动力学 65G30型 区间和有限算术 关键词：ODE解算器;区间算术;洛伦兹方程;正规形式;奇异吸引子 软件：个人资料/偏差;RODES公司 PDF格式BibTeX公司 XML格式引用 \textit{W.Tucker}，已找到。计算。数学。2，第1号，53--117（2002；Zbl 1047.37012）