General non-realizability certificates for spheres with linear programming

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.