Lo elaboró en 1840, tomando como base la teoría de la "Méchanique analytique" de Lagrange y de la "Méchanique céleste" de Laplace, pero exponiendo esta teoría por métodos vectoriales, sobre los que trabajaba desde 1832.