Homogeneous length functions on Groups: Intertwined computer & human proofs
We describe a case of an interplay between human and computer proving which played a role in the discovery of an interesting mathematical result. The unusual feature of the use of computers here was that a computer generated but human readable proof was read, understood, generalized and abstracted by mathematicians to obtain the key lemma in an interesting mathematical result.
PDF AbstractCategories
Logic in Computer Science
Group Theory
Geometric Topology
Datasets
Add Datasets
introduced or used in this paper