Compatible rewriting of noncommutative polynomials for proving operator identities (Q5145958)
From MaRDI portal
scientific article; zbMATH DE number 7300057
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Compatible rewriting of noncommutative polynomials for proving operator identities |
scientific article; zbMATH DE number 7300057 |
Statements
Compatible rewriting of noncommutative polynomials for proving operator identities (English)
0 references
22 January 2021
0 references
automated proofs
0 references
completion
0 references
noncommutative polynomials
0 references
quiver representations
0 references
rewriting
0 references
