Symbolic spectral decomposition of 3x3 matrices. - Michal Habera; Andreas Zilian (CoRR, 2021)