A second focus of Dr. Miasnikovâ€™s program is to find a counterexample to the Andrews-Curtis Conjecture, which holds that every balanced presentation of a trivial group can be transformed into the standard presentation by a finite sequence of elementary transformations. Dr. Miasnikov posits that the Andrews-Curtis Conjecture is false, and his proposed goal is to find a counterexample in a finite quotient using computational methods.

root 2004-05-05