Learning proofs for the classification of nilpotent semigroups
Abstract
Machine learning is applied to find proofs, with smaller or smallest numbers of nodes, for the classification of 4-nilpotent semigroups.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2021
- DOI:
- 10.48550/arXiv.2106.03015
- arXiv:
- arXiv:2106.03015
- Bibcode:
- 2021arXiv210603015S
- Keywords:
-
- Computer Science - Machine Learning;
- Mathematics - Logic;
- Mathematics - Rings and Algebras;
- 68T15 (Primary) 20M10;
- 03F07;
- 03B35 (Secondary)