The braid group is automatic, so has a solvable word problem. You might find this helpful. However, it's not clear to me that this means that equations can actually be solved.
Steve Huntsman
- 15.4k
- 7
- 75
- 130