Abstract
In this paper we present a computational package developed for making computations involved in many homological applications of the Gr"obner theory of skew PBW extensions.
Type
Publication
Fundamenta Informaticae, 167(3), 159-191. doi:10.3233/FI-2019-1813
