Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
From MaRDI portal
Publication:6346892
DOI10.1016/j.amc.2021.126357zbMath1510.15028arXiv2008.04864MaRDI QIDQ6346892
Dragana S. Cvetković-Ilić, Georg Regensburger, Clemens Hofstadler, Jamal Hossein Poor, Clemens G. Raab, Jovana Milošević
Publication date: 11 August 2020
Symbolic computation and algebraic computation (68W30) Theory of matrix inversion and generalized inverses (15A09) Matrix equations and identities (15A24) Equations and inequalities involving linear operators, with vector unknowns (47A50) General (adjoints, conjugates, products, inverses, domains, ranges, etc.) (47A05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
