<Specific Information> <Reference List> | |
Type: | Journal Article |
National /International: | International |
Title: | General non-realizability certificates for spheres with linear programming |
Publication Date: | 2023 |
Authors: |
- João Gouveia
- Antonio Macchia - Amy Wiebe |
Journal Name: | Journal of Symbolic Computation |
Volume: | 114 |
Pages: | 172-192 |
Abstract: | |
Download: | Not available |