Formally verifying proofs for algebraic identities of matrices
From MaRDI portal
Recommendations
- Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
- Computer simplification of formulas in linear systems theory
- Computer proofs for polynomial identities in arbitrary many variables
- COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES
- Formal proofs of operator identities by a single formal computation
Cited in
(14)- Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra
- Formal proofs of operator identities by a single formal computation
- Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
- Computing elements of certain form in ideals to prove properties of operators
- Letterplace
- Certifying operator identities via noncommutative Gröbner bases
- Computer algebra procedures for verifying the definiteness of a matrix on a subspace
- Signature Gröbner bases in free algebras over rings
- How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse; A Case Study
- Short proofs of ideal membership
- \textsf{f4ncgb}: high performance Gröbner basis computations in free algebras
- Universal truth of operator statements via ideal membership
- Modular algorithms for computing Gröbner bases in free algebras
- Finite Gröbner bases for quantum symmetric groups
This page was built for publication: Formally verifying proofs for algebraic identities of matrices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2219403)
