Formally verifying proofs for algebraic identities of matrices
From MaRDI portal
Publication:2219403
DOI10.1007/978-3-030-53518-6_14zbMATH Open1455.68253OpenAlexW3043754333MaRDI QIDQ2219403FDOQ2219403
Authors: Leonard Schmitz, V. Levandovskyy 
Publication date: 20 January 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-53518-6_14
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
Symbolic computation and algebraic computation (68W30) Matrix equations and identities (15A24) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cited In (10)
- Certifying operator identities via noncommutative Gröbner bases
- Signature Gröbner bases in free algebras over rings
- Computing elements of certain form in ideals to prove properties of operators
- Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra
- Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
- Formal proofs of operator identities by a single formal computation
- Letterplace
- Computer algebra procedures for verifying the definiteness of a matrix on a subspace
- How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse; A Case Study
- Short proofs of ideal membership
Uses Software
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)
