Algorithmic and Combinatorial Algebra