General non-realizability certificates for spheres with linear programming

Joao Gouveia, Antonio Macchia, Amy Wiebe

In this paper we present a simple technique to derive certificates of non-realizability for an abstract polytopal sphere. Our approach uses a variant of the classical algebraic cer…