4 ms·
A Prolog assisted search for new simple Lie algebras
- dmr_92 4y agoI 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.
- falsissime 4y agoop(150, fx, #) would make the SWI code more readable.