How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse; A Case Study

Cites work

A Proof Method for Quantification Theory: Its Justification and Realization
Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
Categories as algebra: An essential ingredient in the theory of monoids
Certifying operator identities via noncommutative Gröbner bases
Computer assistance for ``discovering formulas in system engineering and operator theory
Computer simplification of formulas in linear systems theory
Computing elements of certain form in ideals to prove properties of operators
Formal proofs of operator identities by a single formal computation
Formally verifying proofs for algebraic identities of matrices
scientific article; zbMATH DE number 4077463 (Why is no real title available?)
scientific article; zbMATH DE number 705057 (Why is no real title available?)
scientific article; zbMATH DE number 1163430 (Why is no real title available?)
scientific article; zbMATH DE number 5054860 (Why is no real title available?)
scientific article; zbMATH DE number 5065241 (Why is no real title available?)
scientific article; zbMATH DE number 5493266 (Why is no real title available?)
scientific article; zbMATH DE number 3111121 (Why is no real title available?)
Letterplace
On Herbrand's theorem
On Majorization, Factorization, and Range Inclusion of Operators on Hilbert Space
Reverse order law for the Moore-Penrose inverse
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra
Solving polynomial equation systems. Vol. IV. Buchberger theory and beyond
Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I
The Moore-Penrose inverse of a morphism with factorization
The reverse order law revisited

Cited in

(3)

Short proofs of ideal membership
\textsf{f4ncgb}: high performance Gröbner basis computations in free algebras
Universal truth of operator statements via ideal membership

Describes a project that uses

Uses Software

SageMath

This page was built for publication: How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse; A Case Study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6496593)