The Word Problem is Solvable for 3-free Artin groups in Quadratic Time

Rubén Blasco-García, María Cumplido, Rose Morris-Wright

We give a quadratic-time explicit and computable algorithm to solve the word problem for Artin groups that do not contain any relations of length 3. Furthermore, we prove that, giv…