Noncommutative Polynomial Algebras of Solvable Type and Their Modules Basic Constructive-Computational Theory and Methods

A constructive introduction to solvable polynomial algebras and Gröbner basis theory for left ideals of solvable polynomial algebras and submodules of free modules
The new filtered-graded techniques combined with the determination of the existence of graded monomial orderings
The elimination theory and methods (for left ideals and submodules of free modules) combining the Gröbner basis techniques with the use of Gelfand-Kirillov dimension, and the construction of different kinds of elimination orderings
The computational construction of finite free resolutions (including computation of syzygies, construction of different kinds of finite minimal free resolutions based on computation of different kinds of minimal generating sets), etc.

This book is perfectly suited to researchers and postgraduates researching noncommutative computational algebra and would also be an ideal resource for teaching an advanced lecture course.