Algebraic Combinatorics on Convex Polytopes