The main goal of this paper is to show that pattern recognition techniques can be successfully used in abstract algebra. We introduce a pattern recognition system to recognize words of minimal length in their automorphic orbits in free groups of rank 2. This system is based on linear regression and does not use any particular results from group theory. The corresponding classifier is very fast and surprisingly accurate.
Alexei D. Miasnikov, Robert M. Haralick