A Prolog assisted search for new simple Lie algebras
1–3 of 3 posts
Re: A Prolog assisted search for new simple Lie algebras
#2I know the authors---it was a pleasent surprise to see them on HN this morning! The first two in particular have been working on computer-aided investigations in pure mathematics for a few years now.
Re: A Prolog assisted search for new simple Lie algebras
#3op(150, fx, #) would make the SWI code more readable.