R2-D2 Curvature Formula

At the end of the wave front calculus paper, I added some pictures about curvature defined by wave fronts. The Bertrand-Diguet-Puiseux formula is remarkable as it shows that one can get curvature of a 2 manifold by measuring the length of wave fronts. Positive curvature means that the wave front …