Editó los trabajos de Lagrange —publicados en catorce volúmenes entre 1867 y 1892— y realizó la quinta edición de Monge en 1850.