United States Naval Research Laboratory
在1961年，和他的團隊在美國海軍研究實驗室計算了的前100,000數位。