Scientific Computing in Lean

🖨

Variational Calculus

Talk about how to compute expressions like these

$$\delta_u \int \| \nabla u(x) \| \, dx $$

or

$$\delta_x \int L(t,x(t),\dot x(t)) \, dt $$