Pages that link to "Item:Q5880542"
From MaRDI portal
The following pages link to Certifying operator identities via noncommutative Gröbner bases (Q5880542):
Displaying 3 items.
- Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra (Q2133928) (← links)
- Formal proofs of operator identities by a single formal computation (Q2223357) (← links)
- Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law (Q2244141) (← links)
