Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
DOI10.1016/j.amc.2021.126357MaRDI 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 inverses; quiver representations; noncommutative polynomials; reverse order law; algebraic operator identities; automated proofs; matrices and linear operators
15A09: Theory of matrix inversion and generalized inverses
16B50: Category-theoretic methods and results in associative algebras (except as in 16D90)
16G20: Representations of quivers and partially ordered sets
03B35: Mechanization of proofs and logical operations
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
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
