En 1997, descubrió la fórmula más rápida para calcular dígitos sueltos de pi en representación binaria, que es una variante de la fórmula Bailey-Borwein-Plouffe.