An algorithmic approach to simultaneous triangularization

We present and prove the validity of an algorithm constructing a simultaneous triangularization of a set on N matrices in Cn×n. To do so, we first prove that if a set of matrices has a common block decomposition, then the set of matrices has a simultaneous triangularization if and only if the blocks on the diagonal have a simultaneous triangularization.