Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law (Q2244141): Difference between revisions

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4287690467 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5849795 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Positive solutions to operator equations \(AXB=C\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Certifying operator identities via noncommutative Gröbner bases / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal proofs of operator identities by a single formal computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2784581 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elements of rings with equal spectral idempotents / rank
 
Normal rank
Property / cites work
 
Property / cites work: An introduction to commutative and noncommutative Gröbner bases / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4317807 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer simplification of formulas in linear systems theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formally verifying proofs for algebraic identities of matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: When is \(B^ -A^ -\) a generalized inverse of \(AB\)? / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Majorization, Factorization, and Range Inclusion of Operators on Hilbert Space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Note on the Generalized Inverse of a Matrix Product / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized inverses. Theory and applications. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic properties of generalized inverses / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3539624 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Triple reverse-order law for weighted generalized inverses / rank
 
Normal rank
Property / cites work
 
Property / cites work: New conditions for the reverse order laws for {1,3} and {1,4}-generalized inverses / rank
 
Normal rank
Property / cites work
 
Property / cites work: New results on reverse order law for $\{1,2,3\}$- and $\{1,2,4\}$-inverses of bounded operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reverse order laws for \(\{1,2,3\}\)-generalized inverses / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applications of completions of operator matrices to reverse order law for \(\{1\}\)-inverses of operators on Hilbert spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reverse order laws for \(\{1,3,4\}\)-generalized inverses in \(C^{*}\)-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: A comment on some recent results concerning the reverse order law for \(\{ 1, 3, 4 \}\)-inverses / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reverse order law for reflexive generalized inverses of products of matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: The product of operators with closed range and an extension of the reverse order law / rank
 
Normal rank
Property / cites work
 
Property / cites work: Further results on the reverse order law for \(\{1,3\}\)-inverse and \(\{1,4\}\)-inverse of a matrix product / rank
 
Normal rank
Property / cites work
 
Property / cites work: The reverse order law for \(\{1, 3, 4\}\)-inverse of the product of two matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some results on partial ordering and reverse order law of elements of \(C^{*}\)-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reverse order law for generalized inverses of multiple operator product / rank
 
Normal rank
Property / cites work
 
Property / cites work: Further results on the reverse-order law / rank
 
Normal rank
Property / cites work
 
Property / cites work: On reverse-order laws for least-squares g-inverses and minimum norm g-inverses of a matrix product / rank
 
Normal rank
Property / cites work
 
Property / cites work: The reverse order law for the generalized inverse \(A^{(2)}_{T,S}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: The reverse order law revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hartwig’s triple reverse order law revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hartwig’s triple reverse order law in C*-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compatible rewriting of noncommutative polynomials for proving operator identities / rank
 
Normal rank

Latest revision as of 04:13, 27 July 2024

scientific article
Language Label Description Also known as
English
Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
scientific article

    Statements

    Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    11 November 2021
    0 references
    matrices and linear operators
    0 references
    algebraic operator identities
    0 references
    generalized inverses
    0 references
    reverse order law
    0 references
    automated proofs
    0 references
    noncommutative polynomials
    0 references
    quiver representations
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references