  We describe the computation of polytope volumes by descent in the face
lattice, its implementation in Normaliz, and the connection to
reverse-lexicographic triangulations. The efficiency of the algorithm is
demonstrated by several high dimensional polytopes of different
characteristics. Finally, we present an application to voting theory where
polytope volumes appear as probabilities of certain paradoxa.
