Energy of a curve (source code)

= Energy of a curve
{title2=$E(\gamma)$}

= Geodesic energy
{synonym}

The energy of a curve is one half the integral of its squared speed.