On the Gaussian Kinematic Formula of R. Adler and J. Taylor
arXiv:2408.11233
Abstract
We apply methods of algebraic integral geometry to prove a special case of the Gaussian kinematic formula of Adler-Taylor. The idea, suggested already by Adler and Taylor, is to view the GKF as the limit of spherical kinematic formulas for spheres of large dimension and curvature .
13 pages; still more corrections