En 1665 encontró un algoritmo para derivar funciones algebraicas que coincidía con el descubierto por Fermat.