Certifying Anosov representations

Abstract By providing new finite criteria which certify that a finitely generated subgroup of or is projective Anosov, we obtain a practical algorithm to verify the Anosov condition. We demonstrate on a surface group of genus 2 in by verifying the criteria for all words of length 8. The previous version required checking all words of length 2 million.