1. General non-realizability certificates for spheres with linear programming. (January 2023) Authors: Gouveia, João; Macchia, Antonio; Wiebe, Amy Journal: Journal of symbolic computation Issue: Volume 114(2023) Page Start: 172 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗