"Our principal ambition for this paper is to make invitations to pure mathematicians to consider deploying constraint logic programming systems to assist in research, and to enthusiasts of the logic programming paradigm to consider applying their skills to problems in Lie theory. To this end we narrate a recent adventure searching for new simple Lie algebras over the field F2 = GF(2) of two elements in dialogue with the Prolog programming environment"
Add comment