Learning proofs for the classification of nilpotent semigroups

MaRDI QIDQ6369543zbMATH OpenFDO

Authors Carlos Simpson

Publication date 5 June 2021

Has companion code repository https://github.com/carlostsimpson/sg-learn

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) General structure theory for semigroups (20M10)

Abstract: Machine learning is applied to find proofs, with smaller or smallest numbers of nodes, for the classification of 4-nilpotent semigroups.

This page was built for publication: Learning proofs for the classification of nilpotent semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6369543)