PAPER / ARXIV:2609.10120
Marisa Cantarino , Andy Hammerlindl , Warwick Tucker
RESUMO
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.
NO MESMO MAPA