One particular contribution we should mention is the Knuth-Bendix algorithm, one of the fundamental algorithms for computing with algebraic structures, particularly with groups and semigroups.
Ng isang partikular na kontribusyon namin ay dapat tukuyin ay ang Knuth-Bendix algorithm, ang isa sa mga pangunahing mga algorithm para sa computing sa algebraic estraktura, lalo na sa mga grupo at semigroups.