Opal: A System for Computing Noncommutative Gröbner Bases (System Description)

TitleOpal: A System for Computing Noncommutative Gröbner Bases (System Description)
Publication TypeConference Paper
Year of Publication1997
AuthorsGreen, E. A., L. S. Heath, and B. J. Keller
Conference NameEighth International Conference on Rewriting Techniques and Applications (RTA-97)