Formally verifying proofs for algebraic identities of matrices
From MaRDI portal
Publication:2219403
DOI10.1007/978-3-030-53518-6_14zbMath1455.68253OpenAlexW3043754333MaRDI QIDQ2219403
Leonard Schmitz, Viktor Levandovskyy
Publication date: 20 January 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-53518-6_14
Symbolic computation and algebraic computation (68W30) Matrix equations and identities (15A24) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (6)
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra ⋮ Signature Gröbner bases in free algebras over rings ⋮ Computing elements of certain form in ideals to prove properties of operators ⋮ 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 ⋮ Letterplace
Uses Software
This page was built for publication: Formally verifying proofs for algebraic identities of matrices