Rigorous numerical studies of the dynamics of polynomial skew products of C^2
arXiv:math/0502038
Abstract
For the class of polynomial skew products of C^2, we describe a rigorous computer algorithm which, for a given map F, will (1) build a model of the dynamics of F on its chain recurrent set, and (2) attempt to determine whether F is Axiom A. Further, we discuss how we used our implementation of this algorithm to establish Axiom A for several explicit cases.
15 pages, 12 figures, submitted