Loops with abelian inner mapping groups: An application of automated deduction · HackerPapers discussions

Loops with abelian inner mapping groups: An application of automated deduction — mentioned by sanxiyn

Sun, 10 Sep 2017 14:19:04 GMT

Indeed. We now actually have some math results of interest for which we have only formal proofs and no human proofs. https://arxiv.org/abs/1509.05468 is an example.

Paper and discussion history. A mention is not an endorsement.

Loops with abelian inner mapping groups: An application of automated deduction — mentioned by sanxiyn

Sat, 24 Jun 2017 13:15:44 GMT

For more recent result of automated theorem proving in loop theory, see "Loops with abelian inner mapping groups: An application of automated deduction (2015)". https://arxiv.org/abs/1509.05468

Paper and discussion history. A mention is not an endorsement.