The product on smooth and generalized valuations

The product of smooth valuations on manifolds is described in terms of differential forms, Gelfand transforms, and blow-up spaces. It is shown that the product extends partially to generalized valuations and corresponds geometrically to transversal intersections. This result is used to prove a general kinematic formula on compact rank one symmetric spaces.