Homogeneous length functions on Groups: Intertwined computer & human proofs

10 Apr 2019  ·  Gadgil Siddhartha ·

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 Abstract
No code implementations yet. Submit your code now


Logic in Computer Science Group Theory Geometric Topology


  Add Datasets introduced or used in this paper