OperatorGB

swMATH36831MaRDI QIDQ52533

No author found.

Described by source

• Computing elements of certain form in ideals to prove properties of operators
• Compatible rewriting of noncommutative polynomials for proving operator identities

Related Items (3)

Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra ⋮ 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

This page was built for software: OperatorGB