Validated Study of the Existence of Short Cycles for Chaotic Systems Using Symbolic Dynamics and Interval Tools

Zbigniew Galias, Warwick Tucker. Validated Study of the Existence of Short Cycles for Chaotic Systems Using Symbolic Dynamics and Interval Tools. I. J. Bifurcation and Chaos, 21(2):551-563, 2011. [doi]

Bibliographies