Syntactical Methods for Braids of Three Strands

We investigate the three-strand positive braid monoid. We propose a syntactical linear time algorithm for the word problem, a nearly canonical rewriting system and the computation of the growth function.