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 i

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.