@ARTICLE{publication1, title = "General non-realizability certificates for spheres with linear programming", author = "{GOUVEIA, Jo{\~{a}}o} and {MACCHIA, Antonio} and {WIEBE, Amy}", year = "2023", abstract = " ", journal = "Journal of Symbolic Computation", volume = "114", pages = "172-192" }