87, No. 314 (November 2018), pp. 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 ...