OperatorGB

swMATH36831MaRDI QIDQ52533FDOQ52533

Author name not available (Why is that?)

Described by source

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

Cited In (3)

• Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra
• Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
• Formal proofs of operator identities by a single formal computation

This page was built for software: OperatorGB