OperatorGB

MaRDI QIDQ52533swMATHFDO

Official website http://gregensburger.com/softw/operatorgb/

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

(5)

• Staggered.mpl
• 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
• Letterplace
• Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra

This page was built for software: OperatorGB