Learning proofs for the classification of nilpotent semigroups

06/06/2021
by   Carlos Simpson, et al.
0

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

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset