Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig’s triple reverse order law

Dragana Cvetkovic-Ilic; Clemens Hofstadler; Jamal Hossein Poor; Jovana Milosevic; Clemens Raab; Georg Regensburger

doi:10.1016/j.amc.2021.126357

Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig’s triple reverse order law

Dragana Cvetkovic-Ilic, Clemens Hofstadler, Jamal Hossein Poor, Jovana Milosevic, Clemens Raab, Georg Regensburger

Institute for Algebra

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	126357
Number of pages	10
Journal	Applied Mathematics and Computation
Volume	409
Issue number	126357
DOIs	https://doi.org/10.1016/j.amc.2021.126357
Publication status	Published - 2021

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101013 Mathematical logic
102031 Theoretical computer science

JKU Focus areas

Digital Transformation

Access to Document

10.1016/j.amc.2021.126357

Cite this

@article{ed71b78f2639446fb396ca362eea3723,

title = "Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig{\textquoteright}s triple reverse order law",

author = "Dragana Cvetkovic-Ilic and Clemens Hofstadler and \{Hossein Poor\}, Jamal and Jovana Milosevic and Clemens Raab and Georg Regensburger",

year = "2021",

doi = "10.1016/j.amc.2021.126357",

language = "English",

volume = "409",

journal = "Applied Mathematics and Computation",

issn = "0096-3003",

publisher = "Elsevier",

number = "126357",

}

TY - JOUR

T1 - Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig’s triple reverse order law

AU - Cvetkovic-Ilic, Dragana

AU - Hofstadler, Clemens

AU - Hossein Poor, Jamal

AU - Milosevic, Jovana

AU - Raab, Clemens

AU - Regensburger, Georg

PY - 2021

Y1 - 2021

UR - https://arxiv.org/abs/2008.04864

U2 - 10.1016/j.amc.2021.126357

DO - 10.1016/j.amc.2021.126357

M3 - Article

SN - 0096-3003

VL - 409

JO - Applied Mathematics and Computation

JF - Applied Mathematics and Computation

IS - 126357

M1 - 126357

ER -

Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig’s triple reverse order law

Fields of science

JKU Focus areas

Access to Document

Other files and links

Symbolic computations for identities of linear operators

Algorithmic integro-differential algebra

Generalized inverses, symbolic computation and operator algebras

Cite this

Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig’s triple reverse order law

Fields of science

JKU Focus areas

Access to Document

Other files and links

Projects

Symbolic computations for identities of linear operators

Algorithmic integro-differential algebra

Generalized inverses, symbolic computation and operator algebras

Cite this