Homogeneous length functions on Groups: Intertwined computer & human proofs
Logic in Computer Science
2019-04-11 v1 Group Theory
Geometric Topology
Abstract
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.
Cite
@article{arxiv.1904.05214,
title = {Homogeneous length functions on Groups: Intertwined computer & human proofs},
author = {Siddhartha Gadgil},
journal= {arXiv preprint arXiv:1904.05214},
year = {2019}
}
Comments
to appear in Journal of Automated Reasoning