A Prolog assisted search for new simple Lie algebras

Posted by triska on Sunday January 22, 2023 @06:01PM
from the arxiv.org dept.

( 2 comments | 2 points | on HN )

Re:A Prolog assisted search for new simple Lie algebras by dmr_92 on Monday January 23, 2023 @03:58AM (#34486812)

I 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.

[ Parent | on HN ]

Re:A Prolog assisted search for new simple Lie algebras by falsissime on Monday January 23, 2023 @04:55AM (#34487094)

op(150, fx, #) would make the SWI code more readable.

[ Parent | on HN ]