This work looks at second-order differential equations and asks if they can be written as Euler-Lagrangian equations. To solve the inverse problem, the authors use the formal integrability theory of overdetermined partial differential systems in the Spencer-Quillen-Goldschmidt version.