Activity: Talk or presentation › Invited talk › unknown
Description
We describe the origins, the domain of applicability and the functionality of a subsystem PLURAL of the computer algebra system SINGULAR, devoted to the noncommutative computations. We show, how main computational objects (GRalgebras) arise and which properties (e.g. ring-theoretic) they possess. A very important role in the system is played by the fast implementation of noncommutative Groebner bases together with many important applications of them. Several illustrative examples will be computed live