Homogeneous Length Functions on Groups: Intertwined Computer and Human Proofs

Gadgil, S (2019) Homogeneous Length Functions on Groups: Intertwined Computer and Human Proofs. In: Journal of Automated Reasoning .

PDF jou_aut_rea_2019.pdf - Published Version Restricted to Registered users only Download (479kB) | Request a copy

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 (Fritz et al. in Algebra Number Theory 12:1773–1786, 2018). 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.

Item Type:	Journal Article
Publication:	Journal of Automated Reasoning
Publisher:	Springer Netherlands
Additional Information:	The copyright for this article belongs to Springer Netherlands.
Keywords:	Formal languages; Number theory, Computer generated; Geometric group theory; Homotopy types; Human-readable; Length functions; Type theory, Group theory
Department/Centre:	Division of Physical & Mathematical Sciences > Mathematics
Date Deposited:	22 Nov 2022 10:04
Last Modified:	22 Nov 2022 10:04
URI:	https://eprints.iisc.ac.in/id/eprint/77974

Actions (login required)

View Item