A fast method for comparing braids

We describe a new method for comparing braid words which relies both on the automatic structure of the braid groups and on the existence of a linear ordering on braids. This syntactical algorithm is a direct generalization of the classical words reduction used in the description of free groups, and is more efficient in practice than all previously known methods. (C) 1997 Academic Press.