Normal Forms for Operators via Gröbner Bases in Tensor Algebras. - Jamal Hossein Poor; Clemens G. Raab; Georg Regensburger (ICMS, 2016)

Algorithmic Operator Algebras via Normal Forms for Tensors. - Jamal Hossein Poor; Clemens G. Raab; Georg Regensburger (ISSAC, 2016)

Algorithmic operator algebras via normal forms in tensor rings. - Jamal Hossein Poor; Clemens G. Raab; Georg Regensburger (J. Symb. Comput., 2018)

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)