TY - RPRT TI - Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law AU - Dragana S. Cvetković-Ilić AU - Clemens Hofstadler AU - Jamal Hossein Poor AU - Jovana Milošević AU - Clemens G. Raab AU - Georg Regensburger PY - 2020 DO - 10.1016/j.amc.2021.126357 UR - https://arxiv.org/abs/2008.04864 ID - 2008.04864 ER -