Su contribución más notable consistió en elaborar un método para calcular los números de Bernoulli en la máquina analítica de Charles Babbage.