Mathematics

The fundamental formula of integral geometry relates the measures of random manifolds and their intersections. We state and prove it in the case of a smooth curve and a great circle in the euclidean sphere, and we apply it to compute (expected values of) relevant quantities in real algebraic geometry, such as the number of real roots of a random polynomial or real eigenvalues of a random matrix.