1979 zeigte er, dass eine natürliche Zahl N mit proportional zu log N vielen Rechenschritten faktorisiert werden kann, wenn die Zwischenergebnisse in Registern mit unbeschränkter Bitlänge ermittelt werden.