Certifying operator identities via noncommutative Gröbner bases

DOI10.1145/3371991.3371996OpenAlexW2983813478MaRDI QIDQ5880542

Clemens Hofstadler, Georg Regensburger, Clemens G. Raab

Publication date: 3 March 2023

Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3371991.3371996

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (4)

Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra ⋮ Signature Gröbner bases in free algebras over rings ⋮ 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 publication: Certifying operator identities via noncommutative Gröbner bases