In [Structure and Interpretation of Classical Mechanics](http://mitpress.mit.edu/sites/default/files/titles/content/s...), the same authors mention that a computational approach to calculus revealed errors in their own understanding of classical mechanics equations (such as Lagrange's equations), and they introduced new notation to address the problem. It appears that Functional Differential Geometry picks up that idea and runs with it.