Homogeneous length functions on Groups: Intertwined computer & human proofs

04/10/2019
by   Siddhartha Gadgil, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/23/2018

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture

There are several approaches for using computers in deriving mathematica...
research
08/22/2023

Algorithm-assisted discovery of an intrinsic order among mathematical constants

In recent decades, a growing number of discoveries in fields of mathemat...
research
05/03/2023

Proof in the time of machines

We compare the values associated with (traditional) community based proo...
research
02/22/2012

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study s...
research
06/06/2019

Black-boxing the user: internet protocol over xylophone players (IPoXP)

We introduce IP over Xylophone Players (IPoXP), a novel Internet protoco...
research
08/01/2023

Top-down Automated Theorem Proving (Notes for Sir Timothy)

We describe a "top down" approach for automated theorem proving (ATP). R...
research
08/02/2021

Generalized permutahedra and optimal auctions

We study a family of convex polytopes, called SIM-bodies, which were int...

Please sign up or login with your details

Forgot password? Click here to reset