Noncommutative Involutive Bases Phd Thesis 2006