Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law. - Dragana S. Cvetkovic-Ilic; Clemens Hofstadler; Jamal Hossein Poor; Jovana Milosevic; Clemens G. Raab; Georg Regensburger (Appl. Math. Comput., 2021)