2955-2975 (21 pages) We present a new algorithmic approach that can be used to determine whether a given quadruple (𝑓₀, 𝑓₁, 𝑓₂, 𝑓₃) is the 𝑓-vector of any convex 4-dimensional polytope, or more ...

This convex hull give rise to the random polytope, for which there exists a number problems both classical and open by now. In this course we in particular prove the result of Wendel, which gives an ...