The $2\times 2$ Matrix Mortality Problem and Invertible Matrices

Christopher Carl Heckman

By modifying the proof of a paper by O. Bournez and M. Branicky, we establish that the Matrix Mortality Problem is decidable with any finite set of $2\times 2$ matrices which has at…