Formal proofs of operator identities by a single formal computation (Q2223357)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal proofs of operator identities by a single formal computation |
scientific article |
Statements
Formal proofs of operator identities by a single formal computation (English)
0 references
28 January 2021
0 references
matrix identities
0 references
algebraic operator identities
0 references
noncommutative polynomials
0 references
linear categories
0 references
quiver representations
0 references
0 references
0 references
