1: \begin{abstract}

2:     By providing new finite criteria which certify that a finitely generated subgroup of $\SL(d,\R)$ or $\SL(d,\C)$ is projective Anosov, we obtain a practical algorithm to verify the Anosov condition. 

3:     We demonstrate on a surface group of genus 2 in $\mathrm{SL}(3,\mathbb{R})$ by verifying the criteria for all words of length 8.

4:     The previous version required checking all words of length $2$ million.

5: \end{abstract}

6: