2020
DOI: 10.48550/arxiv.2008.04864
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

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

Abstract: When improving results about generalized inverses, the aim often is to do this in the most general setting possible by eliminating superfluous assumptions and by simplifying some of the conditions in statements. In this paper, we use Hartwig's well-known triple reverse order law as an example for showing how this can be done using a recent framework for algebraic proofs and the software package OperatorGB. Our improvements of Hartwig's result are proven in rings with involution and we discuss computer-assisted… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 22 publications
(62 reference statements)
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?