No fim dos anos 1970, seus cálculos foram conferidos usando-se álgebra computacional, encontrando-se apenas dois erros pequenos e sem importância.