2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/219328For complex parameters a,c, we consider the Henon mapping H_{a,c}: C^2 -> C^2 given by (x,y) -> (x^2 +c -ay, x), and its Julia set, J. In this paper, we describe a rigorous computer program for attempting to construct a cone field in the tangent bundle over J, which is preserved by DH, and a continuous norm in which DH (and DH^{-1}) uniformly expands the cones (and their complements). We show a consequence of a successful construction is a proof that H is hyperbolic on J. We give several new examples of hyperbolic maps, produced with our computer program, Hypatia, which implements our methods.25 pages. 5 figures. SubmittedDynamical Systems32H50, 37F15, 37C50, 37-04, 37F50text