Letterplace
From MaRDI portal
Publication:5145988
DOI10.1145/3373207.3404056OpenAlexW3045732501MaRDI QIDQ5145988
Karim Abou Zeid, Viktor Levandovskyy, Hans Schönemann
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://doi.org/10.1145/3373207.3404056
Related Items
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra, Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace}, Signature Gröbner bases in free algebras over rings, Computing elements of certain form in ideals to prove properties of operators, Letterplace
Uses Software