简介：对于微分同胚，横戴同宿点的存在蕴含Smale马蹄的存在，本文证明了这一定理的逆定理成立，即Smale马蹄的存在也蕴含横同宿点的存在。
简介：为了确认王和陈提出的一个没有平衡点的混沌系统的混沌行为，我们依靠庞加莱映射和拓扑马蹄理论呈现出一个严格的马蹄混沌的计算机辅助证明。与简单的利用仿真或李亚普罗夫指数判定混沌性相比有较强的理论依据和更高的可靠性。
马蹄的存在蕴含横截同宿点的存在
一个没有平衡点的混沌系统的拓扑马蹄
