鲁棒传递性的计算机辅助证明
A computer-assisted proof of robust transitivity
首次发表
浏览论文内容
中文总结 AI 辅助
本文通过计算机辅助方法，证明了三维环面上派生自阿诺索夫系统的偏双曲性、混合器存在性及鲁棒传递性。
中文摘要 AI 辅助
我们给出了闭流形上微分同胚的偏双曲性、混合器存在性以及鲁棒传递性的计算机辅助证明。这些证明针对三维环面上的派生自阿诺索夫系统族实现。
英文摘要
We present computer-assisted proofs of partial hyperbolicity, existence of a blender and robust transitivity for diffeomorphisms on closed manifolds. These proofs are implemented for a family of derived-from-Anosov systems on the 3-torus.
发表机构
- Centro de Modelamiento Matemático (CNRS IRL2807) Universidad de Chile（智利大学数学建模中心）
- Monash University（莫纳什大学）
机构由 AI 辅助整理，请以论文原文为准。
