Compatible rewriting of noncommutative polynomials for proving operator identities
From MaRDI portal
Publication:5145958
DOI10.1145/3373207.3404047OpenAlexW4287869403MaRDI QIDQ5145958
Clemens Hofstadler, Cyrille Chenavier, Clemens G. Raab, Georg Regensburger
Publication date: 22 January 2021
Published in: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2002.03626
Related Items (6)
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra ⋮ Signature Gröbner bases in free algebras over rings ⋮ Computing elements of certain form in ideals to prove properties of operators ⋮ 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 ⋮ OperatorGB
This page was built for publication: Compatible rewriting of noncommutative polynomials for proving operator identities
