In this article we present recent advances on interval methods for rigorous computation of Poincar\'e maps. We also discuss the impact of choice of Poincar\'e section and coordinate system on obtained bounds for computing Poincar\'e map nearby fixed points.
翻译:在本篇文章中,我们介绍了在严格计算Poincar\'e地图的间隔方法方面的最新进展,我们还讨论了选择Poincar\'e部分的影响,以及协调系统对计算Poincar\'e附近固定点的地图的测得界限的影响。