Certifying Anosov representations
Este artículo presenta nuevos criterios finitos y un algoritmo práctico para certificar que un subgrupo finitamente generado de o es proyectivamente Anosov, demostrando su eficacia al verificar esta condición en un grupo de superficie de género 2 dentro de reduciendo drásticamente la longitud de las palabras necesarias para la comprobación.