Canonical Bases for Algebraic Computations
This thesis deals with computational methods in algebra, mainly focusing on the concept of Gröbner and SAGBI bases in non-commutative algebras. The material has a natural division into two parts. The first part is a rather extensive treatment of the basic theory of Gröbner bases and SAGBI bases in the non-commutative polynomial ring. The second part is a collection of six papers. In the first pap