João Gouveia, Antonio Macchia, Amy Wiebe. General non-realizability certificates for spheres with linear programming. Journal of Symbolic Computation, 114:172-192, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.