Learning proofs for the classification of nilpotent semigroups

06/06/2021

∙

by   Carlos Simpson, et al.

∙

0

∙

share

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