Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
DOI10.1016/j.amc.2021.126357OpenAlexW4287690467MaRDI QIDQ2244141
Jovana Milošević, Georg Regensburger, Clemens Hofstadler, Jamal Hossein Poor, Clemens G. Raab, Dragana S. Cvetković-Ilić
Publication date: 11 November 2021
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2008.04864
generalized inversesquiver representationsnoncommutative polynomialsreverse order lawalgebraic operator identitiesautomated proofsmatrices and linear operators
Theory of matrix inversion and generalized inverses (15A09) Category-theoretic methods and results in associative algebras (except as in 16D90) (16B50) Representations of quivers and partially ordered sets (16G20) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reverse order laws for \(\{1,2,3\}\)-generalized inverses
- Applications of completions of operator matrices to reverse order law for \(\{1\}\)-inverses of operators on Hilbert spaces
- Further results on the reverse-order law
- Further results on the reverse order law for \(\{1,3\}\)-inverse and \(\{1,4\}\)-inverse of a matrix product
- Reverse order laws for \(\{1,3,4\}\)-generalized inverses in \(C^{*}\)-algebras
- A comment on some recent results concerning the reverse order law for \(\{ 1, 3, 4 \}\)-inverses
- The reverse order law for \(\{1, 3, 4\}\)-inverse of the product of two matrices
- Some results on partial ordering and reverse order law of elements of \(C^{*}\)-algebras
- Positive solutions to operator equations \(AXB=C\)
- The reverse order law revisited
- The product of operators with closed range and an extension of the reverse order law
- Reverse order law for reflexive generalized inverses of products of matrices
- When is \(B^ -A^ -\) a generalized inverse of \(AB\)?
- An introduction to commutative and noncommutative Gröbner bases
- Triple reverse-order law for weighted generalized inverses
- Generalized inverses. Theory and applications.
- The reverse order law for the generalized inverse \(A^{(2)}_{T,S}\)
- Formally verifying proofs for algebraic identities of matrices
- Formal proofs of operator identities by a single formal computation
- On reverse-order laws for least-squares g-inverses and minimum norm g-inverses of a matrix product
- Algebraic properties of generalized inverses
- New results on reverse order law for $\{1,2,3\}$- and $\{1,2,4\}$-inverses of bounded operators
- Hartwig’s triple reverse order law revisited
- New conditions for the reverse order laws for {1,3} and {1,4}-generalized inverses
- Computer simplification of formulas in linear systems theory
- Elements of rings with equal spectral idempotents
- Hartwig’s triple reverse order law in C*-algebras
- Compatible rewriting of noncommutative polynomials for proving operator identities
- Note on the Generalized Inverse of a Matrix Product
- On Majorization, Factorization, and Range Inclusion of Operators on Hilbert Space
- Reverse order law for generalized inverses of multiple operator product
- Certifying operator identities via noncommutative Gröbner bases
