“polyhedral reduction theories, algorithms, and applications”